--- a/firefox-kde.patch Sat Aug 05 20:31:55 2017 +0200
+++ b/firefox-kde.patch Mon Aug 07 16:53:19 2017 +0200
@@ -1,5 +1,5 @@
# HG changeset patch
-# Parent 36e478aec136484b59a9fda90f63fa7ddc962018
+# Parent 9ccba8e6b5fad738ce924ff40b4c5aa6f4bc12dd
diff --git a/browser/base/content/browser-kde.xul b/browser/base/content/browser-kde.xul
new file mode 100644
@@ -1419,9 +1419,9 @@
let defaultPerformancePref =
document.getElementById("browser.preferences.defaultPerformanceSettings.enabled");
defaultPerformancePref.addEventListener("change", () => {
- this.updatePerformanceSettingsBox();
+ this.updatePerformanceSettingsBox({duringChangeEvent: true});
});
-@@ -779,16 +786,27 @@ var gMainPane = {
+@@ -780,16 +787,27 @@ var gMainPane = {
let alwaysCheckPref = document.getElementById("browser.shell.checkDefaultBrowser");
alwaysCheckPref.value = true;