From 68d8856b1aa306059bba850dba613aa2ed176ff3 Mon Sep 17 00:00:00 2001
From: "sgehani%netscape.com" <sgehani%netscape.com>
Date: Thu, 27 Jul 2006 14:56:15 +0000
Subject: [PATCH] Make tabs menu rebuild after sidebar has been closed and then
 opened. b=114908; r=morse; sr=dveditz; a=asa

---
 suite/common/sidebar/sidebarOverlay.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/suite/common/sidebar/sidebarOverlay.js b/suite/common/sidebar/sidebarOverlay.js
index afff5c2878c5..b64e60ebe1fe 100644
--- a/suite/common/sidebar/sidebarOverlay.js
+++ b/suite/common/sidebar/sidebarOverlay.js
@@ -899,6 +899,7 @@ function SidebarShowHide() {
   var sidebar_panels_splitter_box = document.getElementById('sidebar-panels-splitter-box');
   var sidebar_splitter = document.getElementById('sidebar-splitter');
   var sidebar_menu_item = document.getElementById('sidebar-menu');
+  var tabs_menu = document.getElementById('sidebar-panel-picker');
 
   if (sidebar_is_hidden()) {
     debug("Showing the sidebar");
@@ -914,6 +915,7 @@ function SidebarShowHide() {
     }
     sidebar_overlay_init();
     sidebar_menu_item.setAttribute('checked', 'true');
+    tabs_menu.removeAttribute('hidden');
   } else {
     debug("Hiding the sidebar");
     var hide_everything = sidebar_panels_splitter.getAttribute('hidden') == 'true';
@@ -927,6 +929,7 @@ function SidebarShowHide() {
     title_box.setAttribute('hidden', 'true');
     sidebar_panels_splitter_box.setAttribute('collapsed', 'true');
     sidebar_menu_item.setAttribute('checked', 'false');
+    tabs_menu.setAttribute('hidden', 'true');
   }
   // Immediately save persistent values
   document.persist('sidebar-title-box', 'hidden');