add:  /* * 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(); 
context: function BrowserUIResetZoomMinus() {    var currentUILevel=gPref.getIntPref("browser.display.zoomui");    currentUILevel-=3;    gPref.setIntPref("browser.display.zoomui", currentUILevel);    syncUIZoom();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/ba1c0673834fe689fe8382d62407c26db09ebe22/minimo.js/buggy/minimo/chrome/content/minimo.js