      bodyNode.appendChild(aBody);
  
      let repeatContainer = aDocument.createElementNS(XUL_NS, "hbox");
-@@ -6671,3 +6756,258 @@ catch (ex) {
+@@ -6671,3 +6777,263 @@ catch (ex) {
    // TODO: kill anything that may have started up
    // see bug 568665
  }

     }
   },
 
@@ -3884,7 +3966,9 @@ HeadsUpDisplay.prototype = {
    */
   destroy: function HUD_destroy()
   {

 
     this.inputNode = this.xulElementFactory("textbox");
     this.inputNode.setAttribute("class", "jsterm-input-node");
@@ -5360,22 +5466,16 @@ JSTermFirefoxMixin.prototype = {
     inputStack.appendChild(this.inputNode);
 
     if (this.existingConsoleNode == undefined) {
