diff -r cb6f01567cf8 -r e69790650e3c firefox-kde.patch --- a/firefox-kde.patch Sun Jan 15 22:34:49 2023 +0100 +++ b/firefox-kde.patch Mon Feb 13 22:24:53 2023 +0100 @@ -3,7 +3,7 @@ # Date 1559300151 -7200 # Fri May 31 12:55:51 2019 +0200 # Node ID 54d41b0033b8d649d842a1f862c6fed8b9874dec -# Parent c9baf1c9eb9359b7968a52157e8892cdd20f2c6d +# Parent 95d798f72d832c953086aa27675498fdf84177f0 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/main.js b/browser/components/preferences/main.js --- a/browser/components/preferences/main.js +++ b/browser/components/preferences/main.js -@@ -303,16 +303,23 @@ var gMainPane = { +@@ -296,16 +296,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") + -@@ -1334,16 +1341,27 @@ var gMainPane = { +@@ -1333,16 +1340,27 @@ var gMainPane = { this._backoffIndex = 0; let shellSvc = getShellService(); @@ -59,7 +59,7 @@ + process.run(false, args, args.length); + } } catch (ex) { - Cu.reportError(ex); + console.error(ex); return; }