Changeset 426
- Timestamp:
- 07/24/08 20:12:16 (4 months ago)
- Location:
- extension/tabcontrol
- Files:
-
- 2 modified
-
content/tabcontrol.js (modified) (2 diffs)
-
install.rdf (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
extension/tabcontrol/content/tabcontrol.js
r400 r426 66 66 } 67 67 68 //set focus to the tab that we want 69 gTabControl.selectTab(tabToSelect); 70 68 71 //call the browser's real remove tab function 69 72 gBrowser.origRemoveTab(aTab); … … 71 74 //skip the rest if we don't need to focus a custom tab 72 75 if (null==tabToSelect) return; 73 74 //set focus to the tab that we want75 gTabControl.selectTab(tabToSelect);76 76 }, 77 77 -
extension/tabcontrol/install.rdf
r398 r426 4 4 <em:id>{39952c40-5197-11da-8cd6-0800200c9a66}</em:id> 5 5 <em:name>Tab Control</em:name> 6 <em:version>0.4. 1</em:version>6 <em:version>0.4.2</em:version> 7 7 8 8 <em:creator>Anthony Lieuallen</em:creator>