--- a/firefox-branded-icons.patch Sun Oct 20 14:25:55 2019 +0200
+++ b/firefox-branded-icons.patch Fri Oct 25 11:19:31 2019 +0200
@@ -1,6 +1,6 @@
# HG changeset patch
# Parent e0751ad74e835e80041a61ea00c2a63bf6fbe2de
-# Parent 8a401a01454e9f5e8a357262d774e0ff348d9bc1
+# Parent b75f4c79d0757cd16065811d34a563bdb5cfb15e
diff --git a/browser/branding/branding-common.mozbuild b/browser/branding/branding-common.mozbuild
--- a/browser/branding/branding-common.mozbuild
@@ -10,13 +10,13 @@
'VisualElements_150.png',
'VisualElements_70.png',
]
- elif 'gtk' in CONFIG['MOZ_WIDGET_TOOLKIT']:
+ elif CONFIG['MOZ_WIDGET_TOOLKIT'] == 'gtk':
FINAL_TARGET_FILES.chrome.icons.default += [
'default128.png',
'default16.png',
-+ 'default22.png',
-+ 'default24.png',
-+ 'default256.png',
++ 'default22.png',
++ 'default24.png',
++ 'default256.png',
'default32.png',
'default48.png',
'default64.png',
@@ -24,7 +24,7 @@
diff --git a/browser/installer/package-manifest.in b/browser/installer/package-manifest.in
--- a/browser/installer/package-manifest.in
+++ b/browser/installer/package-manifest.in
-@@ -404,20 +404,23 @@
+@@ -246,20 +246,23 @@
@RESPATH@/browser/chrome/pdfjs.manifest
@RESPATH@/browser/chrome/pdfjs/*
@RESPATH@/chrome/toolkit@JAREXT@
@@ -46,5 +46,5 @@
; [Webide Files]
@RESPATH@/browser/chrome/webide@JAREXT@
@RESPATH@/browser/chrome/webide.manifest
- @RESPATH@/browser/@PREF_DIR@/webide.js
+ ; [DevTools Startup Files]