diff options
author | siikamiika <siikamiika@users.noreply.github.com> | 2019-12-01 06:32:17 +0200 |
---|---|---|
committer | siikamiika <siikamiika@users.noreply.github.com> | 2019-12-01 06:32:17 +0200 |
commit | a40f3b1c9f0c89c10e311380f3b3b9592a67d615 (patch) | |
tree | 1f4575b64fc7d96855714af1f0a6e649c31ebe16 | |
parent | abe70e3b8c9fe8fb59cfbdad7b0e6f242971a4c5 (diff) |
add missing disableHistory
-rw-r--r-- | ext/fg/js/frontend.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/fg/js/frontend.js b/ext/fg/js/frontend.js index bcdfd152..9a1d507b 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}} + {definitions, context: {sentence, url, focus, disableHistory: true}} ); this.textSourceCurrent = textSource; |