From 7398e74d71a91dfc1397c28f8dc5df4205d96249 Mon Sep 17 00:00:00 2001 From: Alex Yatskov Date: Fri, 10 Feb 2017 21:11:34 -0800 Subject: [PATCH] delete dead code --- ext/fg/js/driver.js | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) diff --git a/ext/fg/js/driver.js b/ext/fg/js/driver.js index c84805d7..421c3591 100644 --- a/ext/fg/js/driver.js +++ b/ext/fg/js/driver.js @@ -75,7 +75,7 @@ class Driver { return; } - const searcher = () => this.searchAt(this.lastMousePos, false); + const searcher = () => this.searchAt(this.lastMousePos); if (!this.popup.isVisible() || e.shiftKey || e.which === 2 /* mmb */) { searcher(); } else { @@ -98,17 +98,13 @@ class Driver { callback(); } - searchAt(point, hideNotFound) { + searchAt(point) { if (this.pendingLookup) { return; } const textSource = textSourceFromPoint(point, this.options.scanning.imposter); if (textSource === null || !textSource.containsPoint(point)) { - if (hideNotFound) { - this.searchClear(); - } - return; } @@ -119,11 +115,7 @@ class Driver { this.pendingLookup = true; this.searchTerms(textSource).then(found => { if (!found) { - return this.searchKanji(textSource).then(found => { - if (!found && hideNotFound) { - this.searchClear(); - } - }); + return this.searchKanji(textSource); } }).catch(error => { this.handleError(error, textSource);