rem: if ((client.host == "Mozilla") || (client.platform == "Linux")) { 
add: if ((client.host == "Mozilla") || (client.platform == "Linux") || (client.platform == "Mac")) { 
context: function createMenus(){    client.menuManager.createMenus(document, "mainmenu");    client.menuManager.createContextMenus(document);    // The menus and the component bar need to be hidden on some hosts.    var winMenu   = document.getElementById("windowMenu");    var tasksMenu = document.getElementById("tasksMenu");    var toolsMenu = document.getElementById("mainmenu:tools");    var comBar    = document.getElementById("component-bar");    if (client.host != "Mozilla") {        tasksMenu.parentNode.removeChild(tasksMenu);        winMenu.parentNode.removeChild(winMenu);    } else {        comBar.collapsed = false;    }    if ((client.host == "Mozilla") || (client.platform == "Linux")) {        toolsMenu.parentNode.removeChild(toolsMenu);    }}
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/165cd997e4c44c06b256dae315b486bf75fa2526/menus.js/buggy/xul/content/menus.js