Closed Bug 870131 Opened 9 years ago Closed 9 years ago

Rename "Web Console" to "Console" in toolbox


(DevTools :: Console, defect)

Not set


(Not tracked)

Firefox 23


(Reporter: harth, Assigned: harth)



(2 files, 1 obsolete file)

The "Web" part is redundant, at least in the context of the toolbox. Mihai suggests leaving it as "Web Console" in the menu however, to avoid confusion with the Browser Console.

We could also then shave off 6px per tab, that's 30px across all the tabs. More room for addons and future tools.
Component: Developer Tools: Framework → Developer Tools: Console
This changes the toolbox's label to "Console". It leaves the menu label "Web Console".

It also decreases the toolbox tab width by 6px on Mac/Win, still enough to fit "Style Editor".
Assignee: nobody → fayearthur
Attachment #747247 - Flags: review?(mratcliffe)
Comment on attachment 747247 [details] [diff] [review]
Change toolbox label to "Console"

Review of attachment 747247 [details] [diff] [review]:

Because you have changed the value of ToolboxWebconsole.label you will need to rename it for the l10n folks.
Attachment #747247 - Flags: review?(mratcliffe) → review-
Shrinking the tabs and hardcode their width is bad for l10n. They are already too small for some locales. See bug 859396.
There are 6 tabs at the moment, 4 of them are already too small for our locale. Please don't make the tabs even smaller.
I do (In reply to Heather Arthur [:harth] from comment #0)
> We could also then shave off 6px per tab, that's 30px across all the tabs.
> More room for addons and future tools.

Considering an average screen width of 1200px (this is still a very low side average), 110 px of each tab, another 80 px gone for docking + close buttons, and another 110 gone for the command buttons, we have :

(1024 - 110 - 80)/110 = 9.2

ignoring the 0.2 for the options cog wheel, there is space for 9 tabs, where 6 are internal (with no new tab planned for near future) and 2-3 known toolbox supporting extensions.

I think the space is pretty good for additional tools.
On my Air, one more tab and it would hit the end. It's also easier to click between them when you they aren't so spread out. Hopefully we can figure something out.
Updated the string names, and restored the original tab width.
Attachment #747247 - Attachment is obsolete: true
Attachment #747843 - Flags: review?(mratcliffe)
Attachment #747843 - Flags: review?(mratcliffe) → review+
Closed: 9 years ago
Resolution: --- → FIXED
Whiteboard: [fixed-in-fx-team]
Target Milestone: --- → Firefox 23
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.