firefox-kde.patch
changeset 522 fdca14856f37
parent 515 0f6539389500
child 541 830e50bbfc79
child 544 18fa86881f37
--- a/firefox-kde.patch	Sun Jul 29 11:18:32 2012 +0200
+++ b/firefox-kde.patch	Tue Aug 07 23:34:17 2012 +0200
@@ -1298,7 +1298,7 @@
 diff --git a/browser/components/preferences/advanced.js b/browser/components/preferences/advanced.js
 --- a/browser/components/preferences/advanced.js
 +++ b/browser/components/preferences/advanced.js
-@@ -22,16 +22,22 @@ var gAdvancedPane = {
+@@ -23,16 +23,22 @@ var gAdvancedPane = {
      if (extraArgs && extraArgs["advancedTab"]){
        advancedPrefs.selectedTab = document.getElementById(extraArgs["advancedTab"]);
      } else {
@@ -1321,14 +1321,14 @@
  #endif
      this.updateOfflineApps();
  #ifdef MOZ_CRASHREPORTER
-@@ -705,12 +711,23 @@ var gAdvancedPane = {
-   /**
+@@ -715,12 +721,23 @@ var gAdvancedPane = {
     * Set browser as the operating system default browser.
     */
    setDefaultBrowser: function()
    {
-     var shellSvc = Components.classes["@mozilla.org/browser/shell-service;1"]
-                              .getService(Components.interfaces.nsIShellService);
+     let shellSvc = getShellService();
+     if (!shellSvc)
+       return;
      shellSvc.setDefaultBrowser(true, false);
 +    if (kde_session == 1) {
 +      var shellObj = Components.classes["@mozilla.org/file/local;1"]