1414196 - Allow WebExtensions to register new devtools themes

Status: NEW

(WebExtensions :: Developer Tools, enhancement, P5)

Description

[Tim Nguyen :ntim]

Those themes would be able to override the built-in DevTools CSS variables.

Perhaps a "devtools_theme" manifest field with some properties could work.

Comment 1

[Andy McKay]

Should it also be dynamic and have the resulting APIs and events? Maybe this one should be bounced to design-decision-needed.

Comment 2

[Tim Nguyen :ntim]

I feel like this should be separate from the theming API (even though it is theming related).

DevTools themes only appear in the devtools settings, while browser themes appear in the add-ons manager. The proposed API (the devtools_theme manifest field), would add a new theme option to the devtools settings.

Also, I don't think it makes sense to support dynamic updates for devtools, I'm not sure many devs will find that useful (if not annoying).

As for events, we can integrate with the existing "onThemeChanged" event emitted on the devtools namespace.

Comment 3

[Caitlin Neiman [:caitmuenster]]

Hi Tim, this has been added to the agenda for the November 14 WebExtensions APIs triage meeting. Would you be able to join us? 

Here’s a quick overview of what to expect at the triage: 

* We normally spend 5 minutes per bug
* The more information in the bug, the better
* The goal of the triage is to give a general thumbs up or thumbs down on a proposal; we won't be going deep into implementation details

Relevant Links: 

* Wiki for the meeting: https://wiki.mozilla.org/Add-ons/Contribute/Triage
* Meeting agenda: https://docs.google.com/document/d/1g3RMfKZ3671NcusMqkoOiKwfPekRe-VI7Rzqxo6F_Ao/edit#
* Vision doc for WebExtensions: https://wiki.mozilla.org/WebExtensions/Vision

Comment 4

[Tim Nguyen :ntim]

Unassigning to reflect real status.