rem: if (mode == 0) editSelected = 1; if (mode == 1) browserSelected = 1; dump(editButton+browserButton+" Display mode: EditSelected="+editSelected+" BrowserSelected="+browserSelected+"\n"); 
add: if (mode == 0) { editSelected = 1; showMenu.setAttribute("hidden","true"); hideMenu.removeAttribute("hidden"); } if (mode == 1) { browserSelected = 1; showMenu.removeAttribute("hidden"); hideMenu.setAttribute("hidden","true"); } 
context: function EditorSetDisplayStyle(mode){  EditorDisplayMode = mode;  editorShell.SetDisplayMode(mode);  editButton = document.getElementById("EditModeButton");  browserButton = document.getElementById("BrowserModeButton");  var editSelected = 0;  var browserSelected = 0;  if (mode == 0) editSelected = 1;  if (mode == 1) browserSelected = 1;  dump(editButton+browserButton+" Display mode: EditSelected="+editSelected+" BrowserSelected="+browserSelected+"\n");  editButton.setAttribute("selected",Number(editSelected));  browserButton.setAttribute("selected",Number(browserSelected));}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/afecaab477a284beadebc0ed1a6ca28c5a27ddec/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js