rem:   var showMenu = document.getElementById("ShowExtraMarkup"); var hideMenu = document.getElementById("HideExtraMarkup"); switch (mode ) { case 0: showMenu.setAttribute("hidden","true"); hideMenu.removeAttribute("hidden"); break;  default: showMenu.removeAttribute("hidden"); hideMenu.setAttribute("hidden","true"); break; }  
context: function EditorSetDisplayMode(mode){  EditorDisplayMode = mode;    // Editor does the style sheet loading/unloading  editorShell.SetDisplayMode(mode);  // Set the UI states  // TODO: Should we NOT have the menu items and eliminate this?  var showMenu = document.getElementById("ShowExtraMarkup");  var hideMenu = document.getElementById("HideExtraMarkup");  switch (mode ) {    case 0:      showMenu.setAttribute("hidden","true");      hideMenu.removeAttribute("hidden");      break;    default: // = 1      showMenu.removeAttribute("hidden");      hideMenu.setAttribute("hidden","true");      break;  }  document.getElementById("WYSIWYGModeButton").setAttribute("selected",Number(mode == 0));  document.getElementById("NormalModeButton").setAttribute("selected",Number(mode == 1));  document.getElementById("TagModeButton").setAttribute("selected",Number(mode == 2));  contentWindow.focus();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/e78e6fbae6a1e9b7517ffb60273cb1945cb25592/EditorCommands.js/clean/editor/ui/composer/content/EditorCommands.js