mirror of
https://gitlab.winehq.org/wine/wine-gecko.git
synced 2024-09-13 09:24:08 -07:00
Fix the devtools window title when the options tab is selected (bug 1044488); r=jwalker
This commit is contained in:
parent
93aca28fc1
commit
12646a378b
@ -730,7 +730,7 @@ Toolbox.prototype = {
|
||||
radio.appendChild(image);
|
||||
}
|
||||
|
||||
if (toolDefinition.label) {
|
||||
if (toolDefinition.label && !toolDefinition.iconOnly) {
|
||||
let label = this.doc.createElement("label");
|
||||
label.setAttribute("value", toolDefinition.label)
|
||||
label.setAttribute("crop", "end");
|
||||
|
@ -70,6 +70,8 @@ Tools.options = {
|
||||
icon: "chrome://browser/skin/devtools/tool-options.svg",
|
||||
invertIconForLightTheme: true,
|
||||
bgTheme: "theme-body",
|
||||
label: l10n("options.label", toolboxStrings),
|
||||
iconOnly: true,
|
||||
panelLabel: l10n("options.panelLabel", toolboxStrings),
|
||||
tooltip: l10n("optionsButton.tooltip", toolboxStrings),
|
||||
inMenu: false,
|
||||
|
@ -43,6 +43,10 @@ toolbox.label=Developer Tools
|
||||
# for the options panel tab.
|
||||
optionsButton.tooltip=Toolbox Options
|
||||
|
||||
# LOCALIZATION NOTE (options.label): This is used as the label of the tab in
|
||||
# the devtools window.
|
||||
options.label=Options
|
||||
|
||||
# LOCALIZATION NOTE (options.panelLabel): This is used as the label for the
|
||||
# toolbox panel.
|
||||
options.panelLabel=Toolbox Options Panel
|
||||
|
Loading…
Reference in New Issue
Block a user