// -- remember download manager position ------------------------------------

  var dmPosition = {
    enabled: true,
    prefs: Components.classes['@mozilla.org/preferences-service;1']
             .getService(Components.interfaces.nsIPrefService)
             .getBranch('browser.download.manager.'),
    restorePosition: function()
    {
      if (!this.enabled)
        return;

      var x = -1, y = -1;

      try { x = this.prefs.getIntPref('screenX'); } catch (e) { }
      try { y = this.prefs.getIntPref('screenY'); } catch (e) { }

      if (!(x == -1 && y == -1))
        window.moveTo(x, y);
    },
    savePosition: function()
    {
      if (!this.enabled)
        return;

      try { this.prefs.setIntPref('screenX', window.screenX); } catch (e) { }
      try { this.prefs.setIntPref('screenY', window.screenY); } catch (e) { }
    },
    init: function()
    {
      try {
        dmPosition.enabled =
          dmPosition.prefs.getBoolPref('remember_position');
      } catch (e) { }

      if (!dmPosition.enabled)
        return;

      dmPosition.restorePosition();

      window.addEventListener("beforeunload",
        function() {
          dmPosition.savePosition();
        }, true);
    }
  };

  dmPosition.init();