firefox-kde.patch
changeset 956 5353413a2411
parent 955 55662cbdb950
child 960 42e50afb9638
--- a/firefox-kde.patch	Thu Mar 23 14:59:04 2017 +0100
+++ b/firefox-kde.patch	Sun Apr 09 10:37:43 2017 +0200
@@ -1239,7 +1239,7 @@
 +    var env = Components.classes["@mozilla.org/process/environment;1"]
 +        .getService(Components.interfaces.nsIEnvironment);
 +    var kde_session = 0;
-+    if (env.get('KDE_FULL_SESSION') == "true")
++    if (env.get('KDE_FULL_SESSION') == "true") {
 +        kde_session = 1;
 +    }