1237        }

  1237        }

  1238      }

  1238      }

  1239 +    var env = Components.classes["@mozilla.org/process/environment;1"]

  1239 +    var env = Components.classes["@mozilla.org/process/environment;1"]

  1240 +        .getService(Components.interfaces.nsIEnvironment);

  1240 +        .getService(Components.interfaces.nsIEnvironment);

  1241 +    var kde_session = 0;

  1241 +    var kde_session = 0;

  1243 +        kde_session = 1;

  1243 +        kde_session = 1;

  1244 +    }

  1244 +    }

  1245  

  1245  

  1246      // set up the "use current page" label-changing listener

  1246      // set up the "use current page" label-changing listener

  1247      this._updateUseCurrentButton();

  1247      this._updateUseCurrentButton();