diff --git a/extensions/xmlterm/ui/content/XMLTermCommands.js b/extensions/xmlterm/ui/content/XMLTermCommands.js index ca02e40024a..8dc07f8bf0c 100644 --- a/extensions/xmlterm/ui/content/XMLTermCommands.js +++ b/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");