chore: cherry-pick 5841c2bf1 from devtools-frontend #32860
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description of Change
Backport of https://chromium.googlesource.com/devtools/devtools-frontend/+/5841c2bf19dac6a6b764d8a4dff3db3e3bd084fb
Upstream Chromium bug: https://bugs.chromium.org/p/chromium/issues/detail?id=1263070
Downstream VS Code bug: microsoft/vscode#142611
CC @deepak1556
Checklist
npm test
passesRelease Notes
Notes: Backport fix from https://crbug.com/1263070 for filtering in devtools console .