Issue 1428 - Disable "Block Element" on non-HTML pages

include.postload.js

Index: include.postload.js
===================================================================
--- a/include.postload.js
+++ b/include.postload.js
@@ -469,7 +469,7 @@
 // check for that before doing stuff. |document instanceof HTMLDocument| check
 // will fail on some sites like planet.mozilla.org because WebKit creates
 // Document instances for XHTML documents, have to test the root element.
-if (document.documentElement instanceof HTMLElement)
+if (document instanceof HTMLDocument)

[Thomas Greiner, 2014/09/26 10:03:55]

What about the comment above?

[Sebastian Noack, 2014/09/26 10:23:43]

That comment is outdated. I have removed it. In fact we already changed that
check like that, in include.preload.js.

[Thomas Greiner, 2014/09/26 12:48:55]

Thanks. I'll ignore the rest of the changes in the second patch since they
belong to a different issue.

 {
   // Use a contextmenu handler to save the last element the user right-clicked on.
   // To make things easier, we actually save the DOM event.
@@ -631,4 +631,7 @@
         break;
     }
   });
+
+  if (window == window.top)
+    ext.backgroundPage.sendMessage({type: "report-html-page"});
 }