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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/45975251e599399e35399d088622362fb68948f9/navigator.js/buggy/xpfe/browser/resources/content/navigator.js