diff options
| author | Kris Maglione <jg@suckless.org> | 2009-10-11 15:53:16 -0400 |
|---|---|---|
| committer | Kris Maglione <jg@suckless.org> | 2009-10-11 15:53:16 -0400 |
| commit | afbab3c3ef1d2d0f6ba4b138932218d381d12f38 (patch) | |
| tree | 4a17458c883509bc47d766ecceb6ab3cb850e5f8 /common/content | |
| parent | 1c6e31a73b410f8d4f064fe751358e79d2dd44d8 (diff) | |
| download | pentadactyl-afbab3c3ef1d2d0f6ba4b138932218d381d12f38.tar.gz | |
Only update tab ordinals when 'guioptions' ~= /[nN]/
Diffstat (limited to 'common/content')
| -rw-r--r-- | common/content/ui.js | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/common/content/ui.js b/common/content/ui.js index e5154fb7..6749d0bf 100644 --- a/common/content/ui.js +++ b/common/content/ui.js @@ -2268,8 +2268,9 @@ function StatusLine() //{{{ return void setTimeout(function () statusline.updateTabCount(false), 0); // update the ordinal which is used for numbered tabs - for (let [i, tab] in util.Array.iteritems(getBrowser().mTabs)) - tab.setAttribute("ordinal", i + 1); + if (options.get("guioptions").has("n", "N")) + for (let [i, tab] in util.Array.iteritems(getBrowser().mTabs)) + tab.setAttribute("ordinal", i + 1); tabCountWidget.value = "[" + (tabs.index() + 1) + "/" + tabs.count + "]"; } |