home *** CD-ROM | disk | FTP | other *** search
/ Revista do CD-ROM 123 / cdrom123.iso / essenc / extens / wweb / Web Developer.xpi / chrome / webdeveloper.jar / content / webdeveloper / about / about.js < prev    next >
Encoding:
JavaScript  |  2004-11-21  |  1.4 KB  |  44 lines
  1. // Loads the extension home page in a new tab
  2. function webdeveloper_visitHomePage()
  3. {
  4.     const preferencesService = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService).getBranch("");
  5.     const url                = "http://www.chrispederick.com/work/firefox/webdeveloper/";
  6.  
  7.     var parentWindow = null;
  8.  
  9.     // If there is a parent window
  10.     if(window.opener)
  11.     {
  12.         // If there is a grand parent window
  13.         if(window.opener.opener)
  14.         {
  15.             parentWindow = window.opener.opener;
  16.         }
  17.         else
  18.         {
  19.             parentWindow = window.opener;
  20.         }
  21.     }
  22.  
  23.     // If a parent window was found
  24.     if(parentWindow)
  25.     {
  26.         // If the open in windows preference is set to true
  27.         if(preferencesService.prefHasUserValue("webdeveloper.open.tabs") && preferencesService.getBoolPref("webdeveloper.open.tabs"))
  28.         {
  29.             const newTab = parentWindow.getBrowser().addTab(url);
  30.  
  31.             // If the open tabs in background preference is not set or is set to false
  32.             if(!preferencesService.prefHasUserValue("webdeveloper.open.tabs.background") || !preferencesService.getBoolPref("webdeveloper.open.tabs.background"))
  33.             {
  34.                 parentWindow.getBrowser().selectedTab = newTab;
  35.             }
  36.         }
  37.         else
  38.         {
  39.             parentWindow.open(url);
  40.         }
  41.  
  42.         window.close();
  43.     }
  44. }