equal
deleted
inserted
replaced
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 95d798f72d832c953086aa27675498fdf84177f0 |
6 # Parent 340817025937e2c69bb1643930d7dfdf63656a7b |
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) |
31 + } |
31 + } |
32 + |
32 + |
33 this.initBrowserContainers(); |
33 this.initBrowserContainers(); |
34 this.buildContentProcessCountMenuList(); |
34 this.buildContentProcessCountMenuList(); |
35 |
35 |
36 let performanceSettingsLink = document.getElementById( |
36 this.updateDefaultPerformanceSettingsPref(); |
37 "performanceSettingsLearnMore" |
37 |
|
38 let defaultPerformancePref = Preferences.get( |
|
39 "browser.preferences.defaultPerformanceSettings.enabled" |
38 ); |
40 ); |
39 let performanceSettingsUrl = |
41 @@ -1298,16 +1305,27 @@ var gMainPane = { |
40 Services.urlFormatter.formatURLPref("app.support.baseURL") + |
|
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; |