b022f8cf12a297a6d20122ccec2840e51a5a7a20
1 // Opens the URL in a new tab
2 function webdeveloper_openURL(urlElement
)
4 var parentWindow
= null;
5 var url
= urlElement
.firstChild
.nodeValue
;
7 // If there is a parent window
10 // If there is a grand parent window
11 if(window
.opener
.opener
)
13 parentWindow
= window
.opener
.opener
;
17 parentWindow
= window
.opener
;
21 // If a parent window was found
24 // If the open in windows preference is set to true
25 if(webdeveloper_getBooleanPreference("webdeveloper.open.tabs", true))
27 var newTab
= parentWindow
.getBrowser().addTab(url
);
29 // If the open tabs in background preference is not set or is set to false
30 if(!webdeveloper_getBooleanPreference("webdeveloper.open.tabs.background", true))
32 parentWindow
.getBrowser().selectedTab
= newTab
;
37 parentWindow
.open(url
);