From 5f0878a9968c7dc0d0c8fcbe5d2a12f1a92c8f52 Mon Sep 17 00:00:00 2001 From: "Nicholas A. Zigarovich" Date: Wed, 7 Jan 2009 15:55:15 -0500 Subject: [PATCH] Removed toggle-tab-bar from new-tabs.js; use tab-bar-mode. --- modules/new-tabs.js | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/modules/new-tabs.js b/modules/new-tabs.js index 830015a..2b09a60 100644 --- a/modules/new-tabs.js +++ b/modules/new-tabs.js @@ -21,16 +21,6 @@ define_variable("tab_bar_button_close", 2, "The mouse button that closes tabs." + "0 = left, 1 = middle, 2 = right, null = disabled."); -interactive("toggle-tab-bar", - "Toggles the visibility of the tab bar.", - toggle_tab_bar); - -// Toggle tab bar visibility. -function toggle_tab_bar(I) { - let s = I.window.tab_bar.element.style; - s.display = s.display == 'none' ? '' : 'none'; -} - function tab_bar(window) { window.tab_bar = this; var scrollbox = create_XUL(window, "arrowscrollbox"); -- 2.11.4.GIT