rem: dump("IsWin="+gIsWin+", IsUNIX="+gIsUNIX+", IsMac="+gIsMac+"\n"); 
add: dump("IsWin="+gIsWin+", IsUNIX="+gIsUNIX+", IsMac="+gIsMac+"\n"); 
context: function EditorStartup(editorType, editorElement){  contentWindow = window.content;  sourceContentWindow = document.getElementById("content-source");  gEditModeLabel     = document.getElementById("EditModeLabel");   gNormalModeButton  = document.getElementById("NormalModeButton");  gTagModeButton     = document.getElementById("TagModeButton");  gSourceModeButton  = document.getElementById("SourceModeButton");  gPreviewModeButton = document.getElementById("PreviewModeButton");  gIsWin = navigator.appVersion.indexOf("Win") != -1;  gIsUNIX = (navigator.appVersion.indexOf("X11") ||              navigator.appVersion.indexOf("nux")) != -1;  gIsMac = !gIsWin && !gIsUNIX;dump("IsWin="+gIsWin+", IsUNIX="+gIsUNIX+", IsMac="+gIsMac+"\n");  // The "type" attribute persists, so use that value  //  to setup edit mode buttons  ToggleEditModeType(gNormalModeButton.getAttribute("type"));  // XUL elements we use when switching from normal editor to edit source  ContentWindowDeck = document.getElementById("ContentWindowDeck");  EditorToolbox = document.getElementById("EditorToolbox");    // store the editor shell in the window, so that child windows can get to it.  editorShell = editorElement.editorShell;    editorShell.Init();  editorShell.SetEditorType(editorType);  editorShell.webShellWindow = window;  editorShell.contentWindow = contentWindow;  // hide UI that we don't have components for  HideInapplicableUIElements();  // set up JS-implemented commands  SetupControllerCommands();    // add a listener to be called when document is really done loading  editorShell.RegisterDocumentStateListener( DocumentStateListener );   // set up our global prefs object  GetPrefsService();   //  editorShell.editorDocument.onDblClick = "EditorDblClick()";  // Get url for editor content and load it.  // the editor gets instantiated by the editor shell when the URL has finished loading.  var url = document.getElementById("args").getAttribute("value");  editorShell.LoadUrl(url);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/7eedb58c104c053baf19ad0ec2d93622357c4dbd/editor.js/clean/editor/ui/composer/content/editor.js