From 8de7749125e4ab79cc2788d9458efb8cba1d9b80 Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Fri, 22 Jun 2007 11:00:40 +0000
Subject: [PATCH] move hrist's incomplete tab numbering patch to the Wiki for
 now

---
 chrome/content/vimperator/vimperator.js | 36 -------------------------
 1 file changed, 36 deletions(-)

diff --git a/chrome/content/vimperator/vimperator.js b/chrome/content/vimperator/vimperator.js
index 48fec5f2..fbc82f9e 100644
--- a/chrome/content/vimperator/vimperator.js
+++ b/chrome/content/vimperator/vimperator.js
@@ -1005,42 +1005,6 @@ function Tabs() //{{{
         }
         getBrowser().mTabContainer.selectedIndex = index;
     }
-
-    /* XXX: disabled until we find a better way where to update the titles, right now
-     * it has O(n^2) complexity on firefox start when we load 50 tabs
-     * (c) by hrist
-
-         window.addEventListener("TabMove",    function() { vimperator.statusline.updateTabCount(); vimperator.tabs.updateTitles(); }, false);
-         window.addEventListener("TabOpen",    function() { vimperator.statusline.updateTabCount(); vimperator.tabs.updateTitles(); }, false);
-         window.addEventListener("TabClose",   function() { vimperator.statusline.updateTabCount(); vimperator.tabs.updateTitles(); }, false);
-
-    this.updateTitles = function(forceclear)
-    {
-        for(var i=0;i < vimperator.tabs.count();i++)
-        {
-            var old_title = getBrowser().mTabContainer.childNodes[i].getAttribute("label");
-            var split_title = old_title.match(/^(\d+:\s+)(.*)/);
-            if(forceclear)
-            {
-                for(var i=0;i<vimperator.tabs.count();i++)
-                getBrowser().mTabContainer.childNodes[i].setAttribute("label", split_title[2]);
-                return;
-            }
-
-            var numbertabs = vimperator.options["numbertabs"];
-            if(numbertabs)
-            {
-                if(split_title)
-                {
-                    var new_title = (i+1) + ": "+ split_title[2];
-                }
-                else  var new_title = (i+1) + ": " + old_title;
-                getBrowser().mTabContainer.childNodes[i].setAttribute("label", new_title);
-            }
-            else getBrowser().mTabContainer.childNodes[i].setAttribute("label", split_title[2]);
-        }
-    }
-    */
     //}}}
 } //}}}