GUI consistency and cleanup

[Jayschwa@…]

This ticket is for multiple suggestions

1) Firefox's preference window is titled "Firefox Preferences" and other extensions tend to follow suit with titles like "ExtensionName Preferences". It would be more consistent for tab control's prefs window to be titled "Tab Control Preferences" instead of the current "Tab Control - Options"

2a) Firefox Preferences already has a section devoted to Tabs. It may be convenient for the user if tab control's prefs were also integrated into this section. The Preference button for tab control in the Add-ons window could be changed to open Firefox Preferences straight to the Tabs section

2b) Firefox Preferences already has a section devoted to Tabs. It may be convenient for the user if Firefox's built-in tab preferences were added to Tab Control's preference window. This would keep all visible tab options centralized

3) The massive bold "Tab Control" text in tab control's prefs window is inconsistent with other areas of Firefox's GUI

[t-bone]

Thanks for your input, but:

1) That's really minor, and given the inertia of the text already being translated into a dozen languages, I'm loath to try to shift it.

2) Too much work to be worth it. It's virtually impossible to extend the base Firefox preferences window, as it is not resizable, not to mention very complicated. Again, too minor a benefit. How often does a user really access either pane?

3) Again, truly minor. There really aren't any extensions that are terribly consistent with the FF GUI when getting down to these levels, and given the infrequency of access to an extensions options window, it doesn't seem terribly important.

[Skiff]

tabcontrol with options in the Firefox preferences tab