Make tabs menu rebuild after sidebar has been closed and then opened.

b=114908; r=morse; sr=dveditz; a=asa


git-svn-id: svn://10.0.0.236/trunk@204756 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
sgehani%netscape.com 2006-07-27 14:56:15 +00:00
parent 2ab2e6775c
commit f95c8314c5

View File

@ -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');