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

b=114908; r=morse; sr=dveditz; a=asa
This commit is contained in:
sgehani%netscape.com 2006-07-27 14:56:15 +00:00
Родитель 0c8c20fefe
Коммит 68d8856b1a
1 изменённых файлов: 3 добавлений и 0 удалений

Просмотреть файл

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