commit | f6d21b7784d50b8fe372491be9d7468db6c784ee | [log] [tgz] |
---|---|---|
author | Benedikt Meurer <bmeurer@chromium.org> | Fri Aug 05 11:13:39 2022 |
committer | Devtools-frontend LUCI CQ <devtools-frontend-scoped@luci-project-accounts.iam.gserviceaccount.com> | Fri Aug 05 12:29:29 2022 |
tree | 762871d16618e39a9a1665be33339a84ae1f9afd | |
parent | 40426d8f3f2cb8a9ada902ed7375041ee4ac7f18 [diff] |
[CodeMirror] Update @codemirror/view to 6.1.4. Also sync other @codemirror/xxx packages to appropriate versions. This fixes the issue that cursor position (and more generally selection) is not restored correctly when focus changes. Fixed: chromium:1343697 Also-By: marijnh@gmail.com Change-Id: I431900e014a35d12227ad5fa30d0eb1357df6e8b Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/3792110 Commit-Queue: Benedikt Meurer <bmeurer@chromium.org> Auto-Submit: Benedikt Meurer <bmeurer@chromium.org> Reviewed-by: Kim-Anh Tran <kimanh@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.
Please be aware that DevTools follows additional development guidelines.
The issue triage guidelines can be found in docs/triage_guidelines.md.
Instructions to set up, use, and maintain a DevTools frontend checkout can be found in docs/workflows.md.
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