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