diff options
Diffstat (limited to 'waterfox-g/debian/patches/waterfox-branded-icons.patch')
| -rw-r--r-- | waterfox-g/debian/patches/waterfox-branded-icons.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/waterfox-g/debian/patches/waterfox-branded-icons.patch b/waterfox-g/debian/patches/waterfox-branded-icons.patch new file mode 100644 index 0000000..e0778a5 --- /dev/null +++ b/waterfox-g/debian/patches/waterfox-branded-icons.patch @@ -0,0 +1,19 @@ +diff --git a/browser/branding/branding-common.mozbuild b/browser/branding/branding-common.mozbuild +--- a/browser/branding/branding-common.mozbuild ++++ b/browser/branding/branding-common.mozbuild +@@ -22,12 +22,15 @@ def FirefoxBranding(): + FINAL_TARGET_FILES.VisualElements += [ + 'VisualElements_150.png', + 'VisualElements_70.png', + ] + elif CONFIG['MOZ_WIDGET_TOOLKIT'] == 'gtk': + FINAL_TARGET_FILES.chrome.icons.default += [ + 'default128.png', + 'default16.png', ++ 'default22.png', ++ 'default24.png', ++ 'default256.png', + 'default32.png', + 'default48.png', + 'default64.png', + ] |