Bug 338348: Make Ctrl+9 select the last tab instead of the ninth tab, patch by Simon B�nzli <zeniko@gmail.com>, r=mconnor

browser/base/content/browser.js

@@ -1425,7 +1425,10 @@ function ctrlNumberTabSelection(event)
   if (index < 0)
     return;
 
-  if (index >= gBrowser.tabContainer.childNodes.length)
+  // [Ctrl]+[9] always selects the last tab
+  if (index == 8)
+    index = gBrowser.tabContainer.childNodes.length - 1;
+  else if (index >= gBrowser.tabContainer.childNodes.length)
     return;
 
   var oldTab = gBrowser.selectedTab;