From 3bddbc90b969cf7c5d276044ad9e54b419af3222 Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Tue, 18 Sep 2007 09:33:18 +0000
Subject: [PATCH] use toggleSidebar for closing the sidebar so that the menu
 state is properly updated

---
 chrome/content/vimperator/commands.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/chrome/content/vimperator/commands.js b/chrome/content/vimperator/commands.js
index 2602852e..63b85da4 100644
--- a/chrome/content/vimperator/commands.js
+++ b/chrome/content/vimperator/commands.js
@@ -1086,8 +1086,8 @@ function Commands() //{{{
                 return;
             }
 
-            document.getElementById("sidebar-box").hidden = true;;
-            document.getElementById("sidebar-splitter").hidden = true;;
+            if (document.getElementById("sidebar-box").hidden == false)
+                toggleSidebar();
         },
         {
             short_help: "Close the sidebar",