Mirrors
/
uBlock
mirror of https://github.com/gorhill/uBlock.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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

This commit is contained in:
gorhill 2015-08-28 10:56:05 -04:00
parent 94a1d72fc8
commit 6600a27c33
1 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/js/scriptlets/element-picker.js
View File

@ -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;