equal
deleted
inserted
replaced
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; |
1242 + if (env.get('KDE_FULL_SESSION') == "true") |
1242 + if (env.get('KDE_FULL_SESSION') == "true") { |
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(); |