From 604f84b9393a6fc6c212b879498e7ebb78209b23 Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Wed, 30 Oct 2013 09:10:45 +1100
Subject: [PATCH] Hide statusbar in FF25+.

Fixes issue #1078.
---
 common/content/statusline.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/common/content/statusline.js b/common/content/statusline.js
index c2939856..7b0cd48d 100644
--- a/common/content/statusline.js
+++ b/common/content/statusline.js
@@ -14,6 +14,9 @@ var StatusLine = Module("statusline", {
         this.statusBar = document.getElementById("addon-bar") || this._statusLine;
         this.baseGroup = this.statusBar == this._statusLine ? "StatusLine " : "";
 
+        if (config.haveGecko("25"))
+            config.tabbrowser.getStatusPanel().hidden = true;
+
         if (this.statusBar.localName == "toolbar") {
             styles.system.add("addon-bar", config.styleableChrome, literal(/*
                 #status-bar { margin-top: 0 !important; }