diff options
Diffstat (limited to 'ext/mixed/js')
| -rw-r--r-- | ext/mixed/js/display.js | 7 | 
1 files changed, 3 insertions, 4 deletions
diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js index efe33ee6..eabb73ca 100644 --- a/ext/mixed/js/display.js +++ b/ext/mixed/js/display.js @@ -456,15 +456,14 @@ class Display {      }      setContentOrphaned() { -        const definitions = document.querySelector('#definitions');          const errorOrphaned = document.querySelector('#error-orphaned'); -        if (definitions !== null) { -            definitions.style.setProperty('display', 'none', 'important'); +        if (this.container !== null) { +            this.container.hidden = true;          }          if (errorOrphaned !== null) { -            errorOrphaned.style.setProperty('display', 'block', 'important'); +            errorOrphaned.hidden = false;          }          this.updateNavigation(null, null);  |