Bug 371055: fix Ctrl+<Num> tab shortcuts (no need to set selected on the tab, since the selectedTab getter eventually does that, regression from bug 370742 which made that property read-only), r=mano

browser/base/content/browser.js

@@ -1407,10 +1407,8 @@ function ctrlNumberTabSelection(event)
 
   var oldTab = gBrowser.selectedTab;
   var newTab = gBrowser.tabContainer.childNodes[index];
-  if (newTab != oldTab) {
-    oldTab.selected = false;
+  if (newTab != oldTab)
     gBrowser.selectedTab = newTab;
-  }
 
   event.preventDefault();
   event.stopPropagation();