diff -r a9cd24eaa361 -r 7fa561e5d7c7 firefox-kde.patch --- a/firefox-kde.patch Sat Mar 07 09:48:10 2020 +0100 +++ b/firefox-kde.patch Mon Mar 30 21:49:01 2020 +0200 @@ -3,7 +3,7 @@ # Date 1559300151 -7200 # Fri May 31 12:55:51 2019 +0200 # Node ID 54d41b0033b8d649d842a1f862c6fed8b9874dec -# Parent 1143a0e4b2eefa83f74fc484c547d7790ca455a1 +# Parent 5db49d25901f390e985c8e4bb5e0ec0b22cadeec How to apply this patch: 1. Import and apply it 2. cp browser/base/content/browser.xul browser/base/content/browser-kde.xul @@ -14,7 +14,7 @@ diff --git a/browser/components/preferences/in-content/main.js b/browser/components/preferences/in-content/main.js --- a/browser/components/preferences/in-content/main.js +++ b/browser/components/preferences/in-content/main.js -@@ -329,16 +329,23 @@ var gMainPane = { +@@ -333,16 +333,23 @@ var gMainPane = { }, backoffTimes[this._backoffIndex + 1 < backoffTimes.length ? this._backoffIndex++ : backoffTimes.length - 1]); }; @@ -38,7 +38,7 @@ ); let performanceSettingsUrl = Services.urlFormatter.formatURLPref("app.support.baseURL") + -@@ -1283,16 +1290,27 @@ var gMainPane = { +@@ -1296,16 +1303,27 @@ var gMainPane = { this._backoffIndex = 0; let shellSvc = getShellService();