diff -r 97a6da6d7e29 -r 8a4f5aea2475 firefox-branded-icons.patch --- 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]