635504 - Create web console customization APIs

Status: RESOLVED INVALID

(DevTools :: Console, defect, P3)

Description

[David Dahl :ddahl]

Dietrich and I were talking about next steps for the web console. Customization via Jetpack is a great next step.

An example would be to be able to create a jetpack that takes a workspace and adds it to a web console where one could toggle between the console and a workspace (or two).

Comment 1

[Rob Campbell [:rc] (:robcee)]

does this bug include things like themeing too? I'd love to be able to restyle my console with a stone background and a quake logo, for example (or green on black for hardcore Vt100 terminal emulation). I think because of the way the console is styled currently, it's not possible to change any of the content styles, but could be wrong.

Comment 2

[David Dahl :ddahl]

(In reply to comment #1)
> does this bug include things like themeing too? I'd love to be able to restyle
> my console with a stone background and a quake logo, for example (or green on
> black for hardcore Vt100 terminal emulation). I think because of the way the
> console is styled currently, it's not possible to change any of the content
> styles, but could be wrong.


i think it should, but we may have to file additional bugs as this pans out.

Comment 3

[David Dahl :ddahl]

Initial commit to github:

https://github.com/daviddahl/devtools/commit/a33d6292fa0b17f5f14d96f7dfdd6dd292ffd320

Comment 4

[Rob Campbell [:rc] (:robcee)]

Filter on TARDIS.

Comment 5

[Nicolas Chevobbe [:nchevobbe]]

This is not relevant anymore. If we want to provide a way for user to have custom theme, this should be a devtools-wide one, not specific to a given panel.