rem: updateTextZoomMenu(); 
context:   function setTextZoomOther() {    // open dialog and ask for new value    var o = { retvals: {zoom: zoomOther}, zoomMin: 1, zoomMax: 5000 };    window.openDialog( "chrome://navigator/content/askViewZoom.xul", "", "chrome,modal,titlebar", o);    if (o.retvals.zoomOK) {      zoomOther = o.retvals.zoom;      zoomAnchor = zoomOther;      zoomSteps = 0;      browserSetTextZoom(zoomOther);      updateTextZoomMenu();      updateTextZoomOtherMenu();    }  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/5f5da58f1f6f5b1deb130dee448b65f68cb41d5c/navigator.js/buggy/suite/browser/navigator.js