diff --git a/src/ui/header.tis b/src/ui/header.tis
index bfa84fc86..951236c89 100644
--- a/src/ui/header.tis
+++ b/src/ui/header.tis
@@ -44,6 +44,11 @@ function stateChanged() {
     if (el) {
         el.state.disabled = fs;
     }
+    if (fs) {
+        $(header).style.set {
+            display: "none",
+        };
+    }
 }
 
 var header;