commit | 32d9de9d3082f0c3ea122acd9e5b0aad9378d952 | [log] [tgz] |
---|---|---|
author | Philip Pfaffe <pfaffe@chromium.org> | Mon May 08 07:23:49 2023 |
committer | Devtools-frontend LUCI CQ <devtools-frontend-scoped@luci-project-accounts.iam.gserviceaccount.com> | Mon May 08 15:50:22 2023 |
tree | d551a9eacf8ee7909e755737a475cf081c66b490 | |
parent | c7f81c2fa4ce6b87b27a958b9e28ed8bf52fb414 [diff] |
[elements] Hide search on navigation/reload When redrawing the elements panel, e.g., on reload and navigation, this CL closes the search toolbar in case it's open instead of only resetting it. The user can bring it back with single ctrl+f and it will still contain the previous search. This cleanly updates the search results. Fixed: 1189064 Change-Id: I18f4d81af604279e8cf3c2ec0b6b245988abb2c6 Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/4506959 Reviewed-by: Changhao Han <changhaohan@chromium.org> Commit-Queue: Philip Pfaffe <pfaffe@chromium.org>
The client-side of the Chrome DevTools, including all JS & CSS to run the DevTools webapp.
The frontend is available on chromium.googlesource.com.
Check out the project documentation for instructions to set up, use, and maintain a DevTools front-end checkout, as well as design guidelines, and architectural documentation.
DevTools frontend repository is mirrored on GitHub.
DevTools frontend is also available on NPM as the chrome-devtools-frontend package. It's not currently available via CJS or ES modules, so consuming this package in other tools may require some effort.
The version number of the npm package (e.g. 1.0.373466
) refers to the Chromium commit position of latest frontend git commit. It's incremented with every Chromium commit, however the package is updated roughly daily.
All DevTools commits: View the log or follow @DevToolsCommits on Twitter
All open DevTools tickets on crbug.com
File a new DevTools ticket: new.crbug.com
Code reviews mailing list: devtools-reviews@chromium.org
@ChromeDevTools on Twitter
Chrome DevTools mailing list: groups.google.com/forum/google-chrome-developer-tools