diff options
| -rw-r--r-- | ext/mixed/js/display.js | 4 | 
1 files changed, 0 insertions, 4 deletions
| diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js index 178567ab..e4be4c83 100644 --- a/ext/mixed/js/display.js +++ b/ext/mixed/js/display.js @@ -367,8 +367,6 @@ class Display {              window.focus();          } -        if (this.setContentToken !== token) { return; } -          this.definitions = definitions;          if (context.disableHistory) {              delete context.disableHistory; @@ -427,8 +425,6 @@ class Display {              window.focus();          } -        if (this.setContentToken !== token) { return; } -          this.definitions = definitions;          if (context.disableHistory) {              delete context.disableHistory; |