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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/145ac14e7b149c56a8a07910a5885262aeee79ce/navigator.js/buggy/suite/browser/navigator.js