diff options
Diffstat (limited to 'ext/mixed')
| -rw-r--r-- | ext/mixed/js/display.js | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js index bd4dc0d0..d83efc13 100644 --- a/ext/mixed/js/display.js +++ b/ext/mixed/js/display.js @@ -351,6 +351,11 @@ class Display { this.setEventListenersActive(false); + if (context.clearHistoryOnce) { + delete context.clearHistoryOnce; + this.poppedContextHistory = []; + } + if (context.focus !== false) { window.focus(); } @@ -406,6 +411,11 @@ class Display { this.setEventListenersActive(false); + if (context.clearHistoryOnce) { + delete context.clearHistoryOnce; + this.poppedContextHistory = []; + } + if (context.focus !== false) { window.focus(); } |