diff options
| author | siikamiika <siikamiika@users.noreply.github.com> | 2019-11-30 04:59:36 +0200 |
|---|---|---|
| committer | siikamiika <siikamiika@users.noreply.github.com> | 2019-11-30 04:59:36 +0200 |
| commit | be23ad7213477500534a2546ca6ef139b23f0af9 (patch) | |
| tree | 35ba66d172ac15b54f491b8e68c4f99ce898b13b | |
| parent | ff9510356e61f9548c5c773ac0f9d85f153ad714 (diff) | |
remove dead code
| -rw-r--r-- | ext/bg/js/search.js | 3 | ||||
| -rw-r--r-- | ext/fg/js/frontend.js | 2 | ||||
| -rw-r--r-- | ext/mixed/js/display.js | 14 |
3 files changed, 2 insertions, 17 deletions
diff --git a/ext/bg/js/search.js b/ext/bg/js/search.js index a5b5fb25..a98d7a9a 100644 --- a/ext/bg/js/search.js +++ b/ext/bg/js/search.js @@ -221,8 +221,7 @@ class DisplaySearch extends Display { this.setContentTerms(definitions, { focus: false, sentence: {text: query, offset: 0}, - url: window.location.href, - clearHistoryOnce: true + url: window.location.href }); } else { this.container.textContent = ''; diff --git a/ext/fg/js/frontend.js b/ext/fg/js/frontend.js index b19e44d2..bcdfd152 100644 --- a/ext/fg/js/frontend.js +++ b/ext/fg/js/frontend.js @@ -398,7 +398,7 @@ class Frontend { textSource.getRect(), textSource.getWritingMode(), type, - {definitions, context: {sentence, url, focus, clearHistoryOnce: true}} + {definitions, context: {sentence, url, focus}} ); this.textSourceCurrent = textSource; diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js index 86780764..4d32377f 100644 --- a/ext/mixed/js/display.js +++ b/ext/mixed/js/display.js @@ -349,13 +349,6 @@ class Display { this.setEventListenersActive(false); - if (context.clearHistoryOnce) { - delete context.clearHistoryOnce; - if (this.context !== null) { - this.context.details.context.next = null; - } - } - if (context.focus !== false) { window.focus(); } @@ -414,13 +407,6 @@ class Display { this.setEventListenersActive(false); - if (context.clearHistoryOnce) { - delete context.clearHistoryOnce; - if (this.context !== null) { - this.context.details.context.next = null; - } - } - if (context.focus !== false) { window.focus(); } |