Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

Also refresh docType if HTMLHtmlElement (an iframe) is reloaded

  • Loading branch information...
commit 1b0fee45011b6fe13fcd5ff112f1604a73fb0c4d 1 parent c0a500a
Jan Odvarko authored October 01, 2012
11  extension/content/firebug/html/htmlPanel.js
@@ -689,6 +689,10 @@ Firebug.HTMLPanel.prototype = Obj.extend(WalkingPanel,
689 689
                 {
690 690
                     this.ioBox.removeChildBox(parentNodeBox, target);
691 691
 
  692
+                    // Special case for docType.
  693
+                    if (target instanceof HTMLHtmlElement)
  694
+                        this.ioBox.removeChildBox(parentNodeBox, target.parentNode.doctype);
  695
+
692 696
                     this.highlightMutation(parentNodeBox, parentNodeBox, "mutated");
693 697
                 }
694 698
                 else
@@ -716,6 +720,13 @@ Firebug.HTMLPanel.prototype = Obj.extend(WalkingPanel,
716 720
                         this.ioBox.insertChildBoxBefore(parentNodeBox, target, nextSibling) :
717 721
                         this.ioBox.appendChildBox(parentNodeBox, target);
718 722
 
  723
+                    // Special case for docType.
  724
+                    if (target instanceof HTMLHtmlElement)
  725
+                    {
  726
+                        this.ioBox.insertChildBoxBefore(parentNodeBox,
  727
+                            target.parentNode.doctype, target);
  728
+                    }
  729
+
719 730
                     this.highlightMutation(objectBox, objectBox, "mutated");
720 731
                 }
721 732
             }

0 notes on commit 1b0fee4

Please sign in to comment.
Something went wrong with that request. Please try again.