1847747 - highlighters.css is displayed in style editor

Status: VERIFIED FIXED

(DevTools :: Style Editor, defect, P3)

Description

[Nicolas Chevobbe [:nchevobbe]]

Steps to reproduce

1. Navigate to data:text/html,<meta charset=utf8><style>h1 { color: tomato; }</style><h1>Hello<h1>
2. Open the styleeditor
3. Hover the h1 token until the selector highlighter is displayed

Expected results

There's no changes in the styleeditor

Actual results

There's a new stylesheet, highlighters.css in the style editor stylesheets list

---

Comment 1

[Nicolas Chevobbe [:nchevobbe]]

Attachment: Bug 1847747 - [devtools] Ignore devtools-highlighter-styles/highlighters.css in regular toolbox. r=#devtools-reviewers.

Comment 2

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/0ba53321e5b0
[devtools] Ignore devtools-highlighter-styles/highlighters.css in regular toolbox. r=devtools-reviewers,jdescottes.

Comment 3

[Cosmin Sabou [:CosminS]]

https://hg.mozilla.org/mozilla-central/rev/0ba53321e5b0

Comment 4

[Ardelean Oana, Desktop Test Engineering [:oardelean]]

Reproducible on a 2023-08-08 Nightly build on Windows 10.
Verified as fixed on Firefox 118.0b3(20230831180026) and Nightly 119.0a1(20230831214652) on Windows 10, macOS 12, Ubuntu 22.