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); |