From 2202d2636c592a03a3f195c171f86c444e1f5fd3 Mon Sep 17 00:00:00 2001 From: Doug Kearns Date: Tue, 18 Sep 2007 11:33:42 +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 699c4fc5..d09a7f00 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",