Closed Bug 770347 Opened 13 years ago Closed 13 years ago

Duplicate CSS in Orion (source editor)

Categories

(DevTools :: General, defect)

Product:
DevTools
Component:
General
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED INVALID

People

(Reporter: espadrine, Unassigned)

Details

The following three files contain a lot of CSS in common: browser/themes/{pinstripe,gnomestripe,winstripe}/devtools/orion.css
As far as I know this is not a bug. Web Console and other parts of Firefox have their theme stylesheets containing a lot of CSS in common. We do this to allow themers to restyle anything they want for every platform. Please reopen the bug if you believe I am wrong. Thanks!
Status: NEW → RESOLVED
Closed: 13 years ago
Resolution: --- → INVALID
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.