diff options
Diffstat (limited to 'ext')
| -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();              } |