--NOT PART OF DEFAULT BUILD--

XMLterm changes only.
Fixed "bug" in XMLTermCommands.js that was causing duplicate instances of XMLTerm shells.

extensions/xmlterm/ui/content/XMLTermCommands.js

@@ -645,9 +645,13 @@ function LoadHandler() {
 
   NewTip();
 
+  return false;
+
+  // The following code fragment is skipped because the chrome takes care of
+  // XMLterm initialization. This should eventually be deleted
   if (window.xmlterm) {
      // XMLTerm already initialized
-     return (false);
+     return false;
   }
 
   dump("LoadHandler: WINDOW.ARGUMENTS="+window.arguments+"\n");