rem: updateTextSizeMenuLabel(); 
add: var viewPopup = document.getElementById("menu_View_Popup"); if (navigator.platform.indexOf("Mac") != -1) {  viewPopup.removeAttribute("oncreate"); } else { var textZoomMenu = document.getElementById("menu_TextZoom"); textZoomMenu.removeAttribute("hidden");  viewPopup.setAttribute("oncreate", "updateTextSizeMenuLabel();"); updateTextSizeMenuLabel(); } 
context:   function initViewMenu()  {    updateTextSizeMenuLabel();  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/5ef57cac22d2fb8bb50c82f101a65cff93ddca6e/navigator.js/clean/suite/browser/navigator.js