From a40f3b1c9f0c89c10e311380f3b3b9592a67d615 Mon Sep 17 00:00:00 2001
From: siikamiika <siikamiika@users.noreply.github.com>
Date: Sun, 1 Dec 2019 06:32:17 +0200
Subject: [PATCH] add missing disableHistory

---
 ext/fg/js/frontend.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;