From afbab3c3ef1d2d0f6ba4b138932218d381d12f38 Mon Sep 17 00:00:00 2001 From: Kris Maglione Date: Sun, 11 Oct 2009 15:53:16 -0400 Subject: [PATCH] Only update tab ordinals when 'guioptions' ~= /[nN]/ --- common/content/ui.js | 5 +++-- 1 file 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 + "]"; }