diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-08-31 14:57:24 -0400 |
---|---|---|
committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-08-31 14:57:50 -0400 |
commit | ad0dca7bb12d13545b559e9c738fcc0767ba20d5 (patch) | |
tree | c3a27f29d185ba06c7fac98f65a54a952d131a2d /ext/fg/js/frontend.js | |
parent | e47e041217708c49032dd3d215eacb23276a1f59 (diff) |
Make the imposter element tracked using TextSourceRange
Diffstat (limited to 'ext/fg/js/frontend.js')
-rw-r--r-- | ext/fg/js/frontend.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ext/fg/js/frontend.js b/ext/fg/js/frontend.js index 3c5f2ac8..ebff768e 100644 --- a/ext/fg/js/frontend.js +++ b/ext/fg/js/frontend.js @@ -307,10 +307,11 @@ class Frontend { this.onError(e); } } finally { + if (textSource !== null) { + textSource.cleanup(); + } if (hideResults && this.options.scanning.autoHideResults) { this.searchClear(); - } else { - docImposterDestroy(); } this.pendingLookup = false; @@ -371,7 +372,6 @@ class Frontend { } searchClear() { - docImposterDestroy(); this.popup.hide(); this.popup.clearAutoPlayTimer(); |