equal
deleted
inserted
replaced
1 # HG changeset patch |
1 # HG changeset patch |
2 # Parent 36e478aec136484b59a9fda90f63fa7ddc962018 |
2 # Parent 9ccba8e6b5fad738ce924ff40b4c5aa6f4bc12dd |
3 |
3 |
4 diff --git a/browser/base/content/browser-kde.xul b/browser/base/content/browser-kde.xul |
4 diff --git a/browser/base/content/browser-kde.xul b/browser/base/content/browser-kde.xul |
5 new file mode 100644 |
5 new file mode 100644 |
6 --- /dev/null |
6 --- /dev/null |
7 +++ b/browser/base/content/browser-kde.xul |
7 +++ b/browser/base/content/browser-kde.xul |
1417 this.updateDefaultPerformanceSettingsPref(); |
1417 this.updateDefaultPerformanceSettingsPref(); |
1418 |
1418 |
1419 let defaultPerformancePref = |
1419 let defaultPerformancePref = |
1420 document.getElementById("browser.preferences.defaultPerformanceSettings.enabled"); |
1420 document.getElementById("browser.preferences.defaultPerformanceSettings.enabled"); |
1421 defaultPerformancePref.addEventListener("change", () => { |
1421 defaultPerformancePref.addEventListener("change", () => { |
1422 this.updatePerformanceSettingsBox(); |
1422 this.updatePerformanceSettingsBox({duringChangeEvent: true}); |
1423 }); |
1423 }); |
1424 @@ -779,16 +786,27 @@ var gMainPane = { |
1424 @@ -780,16 +787,27 @@ var gMainPane = { |
1425 let alwaysCheckPref = document.getElementById("browser.shell.checkDefaultBrowser"); |
1425 let alwaysCheckPref = document.getElementById("browser.shell.checkDefaultBrowser"); |
1426 alwaysCheckPref.value = true; |
1426 alwaysCheckPref.value = true; |
1427 |
1427 |
1428 let shellSvc = getShellService(); |
1428 let shellSvc = getShellService(); |
1429 if (!shellSvc) |
1429 if (!shellSvc) |