rem: document.getElementById("PreviewModeButton").setAttribute("selected",Number(mode == 0)); document.getElementById("NormalModeButton").setAttribute("selected",Number(mode == 1)); document.getElementById("TagModeButton").setAttribute("selected",Number(mode == 2)); contentWindow.focus(); 
add: document.getElementById("PreviewModeButton").setAttribute("selected",Number(mode == DisplayModePreview)); document.getElementById("NormalModeButton").setAttribute("selected",Number(mode == DisplayModeNormal)); document.getElementById("TagModeButton").setAttribute("selected",Number(mode == DisplayModeAllTags)); var HTMLButton = document.getElementById("SourceModeButton"); if (HTMLButton) HTMLButton.setAttribute("selected", Number(mode == DisplayModeSource)); dump(sourceContentWindow+"=SourceWindow\n"); if (mode == DisplayModeSource) sourceContentWindow.focus(); else contentWindow.focus(); 
context: function EditorSetDisplayMode(mode){  EditorDisplayMode = mode;    // Editor does the style sheet loading/unloading  editorShell.SetDisplayMode(mode);  // Set the UI states  document.getElementById("PreviewModeButton").setAttribute("selected",Number(mode == 0));  document.getElementById("NormalModeButton").setAttribute("selected",Number(mode == 1));  document.getElementById("TagModeButton").setAttribute("selected",Number(mode == 2));  contentWindow.focus();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/003a94051de7438718bb4485d0378ceb723d5221/EditorCommands.js/clean/editor/ui/composer/content/EditorCommands.js