rem: editButton = document.getElementById("EditModeButton"); browserButton = document.getElementById("BrowserModeButton"); 
add: var editButton = document.getElementById("EditModeButton"); var browserButton = document.getElementById("BrowserModeButton"); var showMenu = document.getElementById("ShowExtraMarkup"); var hideMenu = document.getElementById("HideExtraMarkup");  
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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/264068946d07e9c70c9f0c67d3ddad33d8c9b14d/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js