add: DisableItem("menu_replace", disable); 
context: function DisableMenusForHTMLSource(disable){  // Disable toolbar buttons  DisableItem("spellingButton", disable);  DisableItem("imageButton", disable);  DisableItem("hlineButton", disable);  DisableItem("tableButton", disable);  DisableItem("linkButton", disable);  DisableItem("namedAnchorButton", disable);  // Any toolbar can be toggled on/off except the format toolbar  DisableItem("viewFormatToolbar", disable);  // Top-level menus that we completely hide  CollapseItem("insertMenu", disable);  CollapseItem("formatMenu", disable);  CollapseItem("tableMenu", disable);  // Edit menu items  DisableItem("menu_find", disable);  DisableItem("menu_findnext", disable);  DisableItem("menu_checkspelling", disable);  // Disable all items in the view menu except mode switch items  var viewMenu = document.getElementById("viewMenu");  // menuitems are children of the menupopup child  var children = viewMenu.firstChild.childNodes;  for (var i = 0; i < children.length; i++)  {    var item = children.item(i);    if (item.id != "viewToolbar" &&        item.id != "viewNormalMode" &&        item.id != "viewAllTagsMode" &&        item.id != "viewSourceMode" &&        item.id != "viewPreviewMode" &&        item.id != "sidebar-menu")    {      DisableItem(item.id, disable);    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b24b2c40c3a7e40c465fba46d0bd27e462d3e07b/editor.js/clean/editor/ui/composer/content/editor.js