diff options
| -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; |