From 386328de35ddd3656d658cebcbee2cc9a536c0b9 Mon Sep 17 00:00:00 2001 From: Infocatcher Date: Tue, 28 Aug 2012 17:14:15 +0400 Subject: [PATCH] Add *.default preferences for tab bar size --- defaults/preferences/treestyletab.js | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/defaults/preferences/treestyletab.js b/defaults/preferences/treestyletab.js index 53536d28..3762bde7 100644 --- a/defaults/preferences/treestyletab.js +++ b/defaults/preferences/treestyletab.js @@ -13,11 +13,15 @@ pref("extensions.treestyletab.animation.collapse.duration", 150); /** * Size of resizable tab bar. They are completely ignored if "Tabs on Top" - * is activated. + * is activated. *.default preferences are user configurable defaults for + * "reset tab bar size" feature */ -pref("extensions.treestyletab.tabbar.width", 200); -pref("extensions.treestyletab.tabbar.height", 32); -pref("extensions.treestyletab.tabbar.shrunkenWidth", 80); +pref("extensions.treestyletab.tabbar.width", 200); +pref("extensions.treestyletab.tabbar.width.default", 200); +pref("extensions.treestyletab.tabbar.height", 32); +pref("extensions.treestyletab.tabbar.height.default", 32); +pref("extensions.treestyletab.tabbar.shrunkenWidth", 80); +pref("extensions.treestyletab.tabbar.shrunkenWidth.default", 80); /** * Position of the tab bar, possible values are: