--- 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]