rem: EditorDisplayMode = mode; 
add: EditorDisplayMode = mode; 
context: function SetDisplayMode(mode){  // Already in requested mode:  //  return false to indicate we didn't switch  if (mode == EditorDisplayMode)    return false;  EditorDisplayMode = mode;  // Save the last non-source mode so we can cancel source editing easily  if (mode != DisplayModeSource)    PreviousNonSourceDisplayMode = mode;      // Editorshell does the style sheet loading/unloading  editorShell.SetDisplayMode(mode);  // Set the UI states  gPreviewModeButton.setAttribute("selected",Number(mode == DisplayModePreview));  gNormalModeButton.setAttribute("selected",Number(mode == DisplayModeNormal));  gTagModeButton.setAttribute("selected",Number(mode == DisplayModeAllTags));  gSourceModeButton.setAttribute("selected", Number(mode == DisplayModeSource));  if (mode == DisplayModeSource)  {    // Switch to the sourceWindow (second in the deck)    ContentWindowDeck.setAttribute("index","1");    // Hide normal chrome    EditorToolbox.setAttribute("collapsed", "true");    // TODO: WE MUST DISABLE ALL KEYBOARD COMMANDS!    // THIS DOESN'T WORK!    sourceContentWindow.focus();  }  else   {    // Switch to the normal editor (first in the deck)    ContentWindowDeck.setAttribute("index","0");    // Show normal chrome    EditorToolbox.removeAttribute("collapsed");    // TODO: WE MUST ENABLE ALL KEYBOARD COMMANDS!    contentWindow.focus();  }  return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/7eedb58c104c053baf19ad0ec2d93622357c4dbd/editor.js/clean/editor/ui/composer/content/editor.js