diff options
author | Kris Maglione <maglione.k@gmail.com> | 2010-12-29 15:03:34 -0500 |
---|---|---|
committer | Kris Maglione <maglione.k@gmail.com> | 2010-12-29 15:03:34 -0500 |
commit | d2c8d0112fffd34df0b0631fe50ec7c9111ba73a (patch) | |
tree | 11345083fc3778d679b3110fafa5f11965dc2e83 /common/content/tabs.js | |
parent | 7a0c7dacbefab4a68251aaf765a5462c8c84e268 (diff) | |
download | pentadactyl-d2c8d0112fffd34df0b0631fe50ec7c9111ba73a.tar.gz |
Make 'stal' a string option.
Diffstat (limited to 'common/content/tabs.js')
-rw-r--r-- | common/content/tabs.js | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/common/content/tabs.js b/common/content/tabs.js index 79abe0a6..1c4b24f8 100644 --- a/common/content/tabs.js +++ b/common/content/tabs.js @@ -961,24 +961,24 @@ var Tabs = Module("tabs", { options: function () { options.add(["showtabline", "stal"], "Define when the tab bar is visible", - "number", config.defaults["showtabline"], + "string", config.defaults["showtabline"], { setter: function (value) { - if (value == 0) + if (value === "never") tabs.tabStyle.enabled = true; else { - prefs.safeSet("browser.tabs.autoHide", value == 1, + prefs.safeSet("browser.tabs.autoHide", value === "multitab", "See 'showtabline' option."); tabs.tabStyle.enabled = false; } - if (value != 1 || !dactyl.has("Gecko2")) + if (value !== "multitab" || !dactyl.has("Gecko2")) config.tabStrip.collapsed = false; return value; }, completer: function (context) [ - ["0", "Never show tab bar"], - ["1", "Show tab bar only if more than one tab is open"], - ["2", "Always show tab bar"] + ["never", "Never show tab bar"], + ["multitab", "Show tab bar when there are multiple tabs"], + ["always", "Always show tab bar"] ] }); |