Bug 785380 - Can't close the page inspector after toggling markup panel. r=jwalker
authorDave Camp <dcamp@mozilla.com>
Fri, 24 Aug 2012 17:58:59 -0700
changeset 105428 45ec9c8d4f272606830cf8e6841f727cb02e66bd
parent 105427 9b58a0a085ee0254597c98205c9afcc1360b480b
child 105429 4c3e82b3dcaf9afbac95ef95fff6b17b7fa70110
push id55
push usershu@rfrn.org
push dateThu, 30 Aug 2012 01:33:09 +0000
reviewersjwalker
bugs785380
milestone17.0a1
Bug 785380 - Can't close the page inspector after toggling markup panel. r=jwalker
browser/devtools/highlighter/inspector.jsm
--- a/browser/devtools/highlighter/inspector.jsm
+++ b/browser/devtools/highlighter/inspector.jsm
@@ -306,16 +306,17 @@ Inspector.prototype = {
     if (this._markupBox) {
       Services.prefs.setIntPref("devtools.inspector.htmlHeight", this._markupBox.height);
       this._markupBox.parentNode.removeChild(this._markupBox);
       delete this._markupBox;
     }
 
     if (this._markupSplitter) {
       this._markupSplitter.parentNode.removeChild(this._markupSplitter);
+      delete this._markupSplitter;
     }
   },
 
   /**
    * Called by InspectorUI after a tab switch, when the
    * inspector is no longer the active tab.
    */
   _freeze: function Inspector__freeze()