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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/afe6002049458a781e8eeefe64eb5d349bd44cc3/navigator.js/clean/xpfe/browser/resources/content/navigator.js