Hack fix to the UI zoom stuff. Somehow with the GRID in the zoom toolbar, the UI resizing is not refreshing the grid, this focus change forces it.

This commit is contained in:
mgalli%geckonnection.com 2005-10-26 20:15:17 +00:00
parent 30a8b46884
commit ba1c067383

View File

@ -531,6 +531,14 @@ function BrowserUIResetZoomPlus() {
currentUILevel+=3;
gPref.setIntPref("browser.display.zoomui", currentUILevel);
syncUIZoom();
/*
* YES I know.
* I do this because somehow the grid does not expand
* when the style CSS syncUIzoom kicks in
*/
document.getElementById("uizoomminusitem").focus();
document.getElementById("uizoomplusitem").focus();
}
function BrowserUIResetZoomMinus() {
@ -538,8 +546,17 @@ function BrowserUIResetZoomMinus() {
currentUILevel-=3;
gPref.setIntPref("browser.display.zoomui", currentUILevel);
syncUIZoom();
/*
* YES I know.
* I do this because somehow the grid does not expand
* when the style CSS syncUIzoom kicks in
*/
document.getElementById("uizoomplusitem").focus();
document.getElementById("uizoomminusitem").focus();
}
/*
We want to intercept before it shows,
to evaluate when the selected content area is a phone number,