зеркало из https://github.com/mozilla/pjs.git
Fix 227713 - General icon incorrectly highlighted in tools->options... patch by Mike Connor <mconnor@myrealbox.com>
This commit is contained in:
Родитель
9ec77ce5d7
Коммит
8d3bc09d76
|
@ -41,7 +41,9 @@
|
|||
gUsingSpecifiedPage = true;
|
||||
|
||||
document.getElementById("prefsCategories").removeAttribute("persist");
|
||||
}
|
||||
}
|
||||
else // focus the correct menu item
|
||||
button.focus();
|
||||
}
|
||||
|
||||
function Shutdown ()
|
||||
|
@ -69,7 +71,8 @@
|
|||
if (hPrefWindow)
|
||||
hPrefWindow.switchPage(newURL, "");
|
||||
|
||||
button.checked = true;
|
||||
button.checked = true;
|
||||
button.focus();
|
||||
}
|
||||
}
|
||||
|
||||
|
@ -82,7 +85,7 @@
|
|||
<script type="application/x-javascript" src="chrome://browser/content/pref/nsPrefWindow.js"/>
|
||||
|
||||
<hbox flex="1">
|
||||
<vbox id="prefsCategories" class="listBox buttonBox" oncommand="switchPage(event.target.id);" orient="vertical">
|
||||
<vbox id="prefsCategories" class="listBox buttonBox" oncommand="switchPage(event.target.id);" orient="vertical" onmouseover="focus();">
|
||||
<button id="catGeneralButton" orient="vertical" class="buttonBoxButton" type="radio" group="categories" label="&general.label;"
|
||||
url="chrome://browser/content/pref/pref-navigator.xul"/>
|
||||
<button id="catPrivacyButton" orient="vertical" class="buttonBoxButton" type="radio" group="categories" label="&privacy.label;"
|
||||
|
@ -122,7 +125,6 @@
|
|||
var prefsCategories = document.getElementById("prefsCategories");
|
||||
var button = prefsCategories.childNodes[lastPanel];
|
||||
document.getElementById("panelFrame").setAttribute("src", button.getAttribute("url"));
|
||||
button.focus();
|
||||
button.checked = true;
|
||||
]]>
|
||||
</script>
|
||||
|
|
Загрузка…
Ссылка в новой задаче