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 8310cc1a162e9dd066a20f6a3bbd271993b67fc6 |
6 # Parent 856ef9c699423b1cd35e4df8745e78c409c8dbae |
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 @@ -347,16 +347,23 @@ var gMainPane = { |
17 @@ -338,16 +338,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 @@ -1326,16 +1333,27 @@ var gMainPane = { |
41 @@ -1313,16 +1320,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; |
61 } catch (ex) { |
61 } catch (ex) { |
62 Cu.reportError(ex); |
62 Cu.reportError(ex); |
63 return; |
63 return; |
64 } |
64 } |
65 |
65 |
66 let selectedIndex = shellSvc.isDefaultBrowser(false, true) ? 1 : 0; |
66 let isDefault = shellSvc.isDefaultBrowser(false, true); |
67 document.getElementById("setDefaultPane").selectedIndex = selectedIndex; |
67 let setDefaultPane = document.getElementById("setDefaultPane"); |
68 } |
68 setDefaultPane.classList.toggle("is-default", isDefault); |
69 diff --git a/browser/components/shell/moz.build b/browser/components/shell/moz.build |
69 diff --git a/browser/components/shell/moz.build b/browser/components/shell/moz.build |
70 --- a/browser/components/shell/moz.build |
70 --- a/browser/components/shell/moz.build |
71 +++ b/browser/components/shell/moz.build |
71 +++ b/browser/components/shell/moz.build |
72 @@ -32,16 +32,18 @@ if CONFIG["MOZ_WIDGET_TOOLKIT"] == "coco |
72 @@ -32,16 +32,18 @@ if CONFIG["MOZ_WIDGET_TOOLKIT"] == "coco |
73 ] |
73 ] |