From d021e48d3e7635afd1049c22c45bc236bd7dd65e Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Fri, 26 Apr 2013 19:18:55 -0700
Subject: [PATCH] Hide the statusbar in fullscreen mode, but let it remain
 un-hideable.

---
 common/content/statusline.js | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/common/content/statusline.js b/common/content/statusline.js
index c00a0399..0de02088 100644
--- a/common/content/statusline.js
+++ b/common/content/statusline.js
@@ -160,6 +160,16 @@ var StatusLine = Module("statusline", {
             this.timeout(function () {
                 this.status = message || buffer.uri;
             });
+        },
+        "fullscreen": function onFullscreen(fullscreen) {
+            let go = options.get("guioptions");
+            if (fullscreen) {
+                this.wasVisible = go.has("s");
+                go.op("-", "s");
+            }
+            else if (this.wasVisible) {
+                go.op("+", "s");
+            }
         }
     },