1 # HG changeset patch |
1 # HG changeset patch |
2 # User msirringhaus@suse.de |
2 # User msirringhaus@suse.de |
3 # Date 1559300151 -7200 |
3 # Date 1559300151 -7200 |
4 # Fri May 31 12:55:51 2019 +0200 |
4 # Fri May 31 12:55:51 2019 +0200 |
5 # Node ID 54d41b0033b8d649d842a1f862c6fed8b9874dec |
5 # Node ID 54d41b0033b8d649d842a1f862c6fed8b9874dec |
6 # Parent c9baf1c9eb9359b7968a52157e8892cdd20f2c6d |
6 # Parent 95d798f72d832c953086aa27675498fdf84177f0 |
7 How to apply this patch: |
7 How to apply this patch: |
8 1. Import and apply it |
8 1. Import and apply it |
9 2. cp browser/base/content/browser.xul browser/base/content/browser-kde.xul |
9 2. cp browser/base/content/browser.xul browser/base/content/browser-kde.xul |
10 3. Find editBookmarkPanelDoneButton |
10 3. Find editBookmarkPanelDoneButton |
11 4. Replace #ifndef with #ifdef in the line above (this hanges the button order from Gnome-style to KDE-style) |
11 4. Replace #ifndef with #ifdef in the line above (this hanges the button order from Gnome-style to KDE-style) |
12 5. hg qrefresh |
12 5. hg qrefresh |
13 |
13 |
14 diff --git a/browser/components/preferences/main.js b/browser/components/preferences/main.js |
14 diff --git a/browser/components/preferences/main.js b/browser/components/preferences/main.js |
15 --- a/browser/components/preferences/main.js |
15 --- a/browser/components/preferences/main.js |
16 +++ b/browser/components/preferences/main.js |
16 +++ b/browser/components/preferences/main.js |
17 @@ -303,16 +303,23 @@ var gMainPane = { |
17 @@ -296,16 +296,23 @@ var gMainPane = { |
18 }, backoffTimes[this._backoffIndex + 1 < backoffTimes.length ? this._backoffIndex++ : backoffTimes.length - 1]); |
18 }, backoffTimes[this._backoffIndex + 1 < backoffTimes.length ? this._backoffIndex++ : backoffTimes.length - 1]); |
19 }; |
19 }; |
20 |
20 |
21 window.setTimeout(() => { |
21 window.setTimeout(() => { |
22 window.requestIdleCallback(pollForDefaultBrowser); |
22 window.requestIdleCallback(pollForDefaultBrowser); |
36 let performanceSettingsLink = document.getElementById( |
36 let performanceSettingsLink = document.getElementById( |
37 "performanceSettingsLearnMore" |
37 "performanceSettingsLearnMore" |
38 ); |
38 ); |
39 let performanceSettingsUrl = |
39 let performanceSettingsUrl = |
40 Services.urlFormatter.formatURLPref("app.support.baseURL") + |
40 Services.urlFormatter.formatURLPref("app.support.baseURL") + |
41 @@ -1334,16 +1341,27 @@ var gMainPane = { |
41 @@ -1333,16 +1340,27 @@ var gMainPane = { |
42 this._backoffIndex = 0; |
42 this._backoffIndex = 0; |
43 |
43 |
44 let shellSvc = getShellService(); |
44 let shellSvc = getShellService(); |
45 if (!shellSvc) { |
45 if (!shellSvc) { |
46 return; |
46 return; |
57 + var args = ["--file", "kdeglobals", "--group", "General", "--key", |
57 + var args = ["--file", "kdeglobals", "--group", "General", "--key", |
58 + "BrowserApplication", "firefox"]; |
58 + "BrowserApplication", "firefox"]; |
59 + process.run(false, args, args.length); |
59 + process.run(false, args, args.length); |
60 + } |
60 + } |
61 } catch (ex) { |
61 } catch (ex) { |
62 Cu.reportError(ex); |
62 console.error(ex); |
63 return; |
63 return; |
64 } |
64 } |
65 |
65 |
66 let isDefault = shellSvc.isDefaultBrowser(false, true); |
66 let isDefault = shellSvc.isDefaultBrowser(false, true); |
67 let setDefaultPane = document.getElementById("setDefaultPane"); |
67 let setDefaultPane = document.getElementById("setDefaultPane"); |