diff options
Diffstat (limited to 'ext/js/app/frontend.js')
| -rw-r--r-- | ext/js/app/frontend.js | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ext/js/app/frontend.js b/ext/js/app/frontend.js index ef53cecb..0d358639 100644 --- a/ext/js/app/frontend.js +++ b/ext/js/app/frontend.js @@ -18,7 +18,6 @@ /* global * DocumentUtil * TextScanner - * TextSourceElement * TextSourceRange */ @@ -536,7 +535,7 @@ class Frontend { } } }; - if (textSource instanceof TextSourceElement && textSource.fullContent !== query) { + if (textSource.type === 'element' && textSource.fullContent !== query) { details.params.full = textSource.fullContent; details.params['full-visible'] = 'true'; } |