diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-10-24 20:01:04 -0400 | 
|---|---|---|
| committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-10-28 17:03:42 -0400 | 
| commit | dcb6f68826bd64d6cb41d2d7a0d5da1a58da9a1b (patch) | |
| tree | aa62cafcedea0f9dfb14cc37eaa916c3d688e902 /ext/fg/js | |
| parent | 185963899b4176b31a14ab141f1335c17a2de9c4 (diff) | |
Don't pass null textSource into searchSource
Diffstat (limited to 'ext/fg/js')
| -rw-r--r-- | ext/fg/js/frontend.js | 17 | 
1 files changed, 11 insertions, 6 deletions
| diff --git a/ext/fg/js/frontend.js b/ext/fg/js/frontend.js index 897c7b73..5e2ef529 100644 --- a/ext/fg/js/frontend.js +++ b/ext/fg/js/frontend.js @@ -319,19 +319,27 @@ class Frontend {              }              const textSource = docRangeFromPoint(x, y, this.options); -            return await this.searchSource(textSource, cause); +            if (textSource === null) { +                return; +            } + +            try { +                return await this.searchSource(textSource, cause); +            } finally { +                textSource.cleanup(); +            }          } catch (e) {              this.onError(e);          }      }      async searchSource(textSource, cause) { -        let hideResults = textSource === null; +        let hideResults = false;          let searched = false;          let success = false;          try { -            if (!hideResults && (!this.textSourceLast || !this.textSourceLast.equals(textSource))) { +            if (!this.textSourceLast || !this.textSourceLast.equals(textSource)) {                  searched = true;                  this.pendingLookup = true;                  const focus = (cause === 'mouse'); @@ -351,9 +359,6 @@ class Frontend {                  this.onError(e);              }          } finally { -            if (textSource !== null) { -                textSource.cleanup(); -            }              if (hideResults && this.options.scanning.autoHideResults) {                  this.searchClear(true);              } |