https://github.com/chrisaljoudi/uBlock/issues/1528: apply fix to element picker

1 files changed, 15 insertions, 1 deletions

diff --git a/src/js/scriptlets/element-picker.js b/src/js/scriptlets/element-picker.js
index 2a980af..afea443 100644
--- a/src/js/scriptlets/element-picker.js
+++ b/src/js/scriptlets/element-picker.js
@@ -19,7 +19,7 @@
     Home: https://github.com/gorhill/uBlock
 */
 
-/* global self, vAPI, CSS */
+/* global self, vAPI, CSS, HTMLDocument, XMLDocument */
 
 /******************************************************************************/
 /******************************************************************************/
@@ -120,6 +120,20 @@
 
 /******************************************************************************/
 
+// https://github.com/gorhill/uBlock/issues/464
+if ( document instanceof HTMLDocument === false ) {
+    // https://github.com/chrisaljoudi/uBlock/issues/1528
+    // A XMLDocument can be a valid HTML document.
+    if (
+        document instanceof XMLDocument === false ||
+        document.createElement('div') instanceof HTMLDivElement === false
+    ) {
+        return;
+    }
+}
+
+/******************************************************************************/
+
 // don't run in frames
 if ( window.top !== window ) {
     return;