Ticket #22: GM_openInTab.patch
| File GM_openInTab.patch, 0.6 kB (added by loucypher.m..@gmail.com, 2 years ago) |
|---|
-
trunk/src/chrome/chromeFiles/content/browser.js
old new 107 107 */ 108 108 GM_BrowserUI.openInTab = function(domWindow, url) { 109 109 if (this.isMyWindow(domWindow)) { 110 document.getElementById("content").addTab(url); 110 var newTab = this.tabBrowser.addTab(url); 111 if (!this.tabBrowser.mPrefs.getBoolPref("browser.tabs.loadInBackground")) 112 this.tabBrowser.selectedTab = newTab; 111 113 } 112 114 } 113 115
