commit | 443cc1e549bc4606385a81d01b0a4e2d6e2ae5b5 | [log] [tgz] |
---|---|---|
author | Tim van der Lippe <tvanderlippe@chromium.org> | Mon May 17 15:27:29 2021 |
committer | Commit Bot <commit-bot@chromium.org> | Tue May 18 10:07:14 2021 |
tree | 048e872cada8b2fec27c2bfedeb101f9b67c1bde | |
parent | cc00c80523f22afe32b62fabea8143c755c49ba9 [diff] |
Move CodeMirror types to third_party/codemirror Some files that don't import codemirror itself do refer to types as declared by CodeMirror, which therefore need to implicitly side-effect import the types. The reason being that these files are used in both the standalone and full version of CodeMirror (depending on whether they run in a worker context or not). Therefore, they can't import `third_party/codemirror/codemirror.ts`, as that would only contain the full version. DISABLE_THIRD_PARTY_CHECK=Tsc update R=szuend@chromium.org Bug: 1209844 Change-Id: I8719a15b40e9d9f085b24c05af4372ad84812d1f Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/2897979 Commit-Queue: Tim van der Lippe <tvanderlippe@chromium.org> Reviewed-by: Simon Zünd <szuend@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