function isGecko()
{
  var agent = navigator.userAgent.toLowerCase();
  return (agent.indexOf('gecko') > -1);
}

function doInstall(aExt, aLang)
{
  var xpi = null;
  var lang = (aLang != null ? "-" + aLang : "");
  
  switch (aExt)
  {
    case "gmanager":
      xpi = {
        "Gmail Manager 0.6.4.1" : {
          URL: "/firefox/gmanager/releases/gmanager0641" + lang + ".xpi",
          IconURL: "/images/extensions/gm-icon.png",
          toString: function () { return this.URL; }
        }
      };
      break;
    case "quickcontext":
      xpi = {
        "Quick Context 0.1.1" : {
          URL: "/firefox/quickcontext/releases/quickcontext011" + lang + ".xpi",
          toString: function () { return this.URL; }
        }
      };
      break;
    case "updatenotifier":
      xpi = {
        "Update Notifier 0.1.5.5" : {
          URL: "/firefox/updatenotifier/releases/updatenotifier0155" + lang + ".xpi",
          IconURL: "/images/extensions/un-icon.png",
          toString: function () { return this.URL; }
        }
      };
      break;
  }
  
  if (xpi != null)
    InstallTrigger.install(xpi);
  else
    alert("Please select a valid extension!");
}

/*
function fileExists(aFile)
{
  strURL = "/firefox/gmanager/" + aFile;
  oHttp = window.ActiveXObject ? new ActiveXObject("Microsoft.XMLHTTP") : new XMLHttpRequest();
  oHttp.open("GET", strURL, true);
  oHttp.onreadystatechange=function() {
    if (xmlhttp.readyState==4) {
      alert(xmlhttp.responseText);
    }
  }
  oHttp.send(null);
  return oHttp.responseText.indexOf("404 Not Found") > 0 ? false : true;
}
*/

function toggleDiv(aId)
{
  var e = document.getElementById(aId);
  e.style.display = (e.style.display != "block" ? "block" : "none");
}

function printEmailLink()
{
  var lhs = "longfocus";
  var rhs = "gmail.com";
  
  document.write("<a href=\"mailto");
  document.write(":" + lhs + "@");
  document.write(rhs + "\">" + lhs + "@" + rhs + "<\/a>");
}
