browser/branding/branding-common.mozbuild
author Mike Hommey <mh+mozilla@glandium.org>
Wed, 21 Aug 2019 12:25:42 +0000
changeset 489301 51bf6a97396d96ddb82fa91c2cf9bd9f5bc9ae06
parent 404042 9688823d23fd1de1ec3a09fec65082ae562b1a12
permissions -rw-r--r--
Bug 1575420 - Replace MOZ_WIDGET_TOOLKIT value of "gtk3" with "gtk". r=froydnj Differential Revision: https://phabricator.services.mozilla.com/D42765

# -*- Mode: python; indent-tabs-mode: nil; tab-width: 40 -*-
# vim: set filetype=python:
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.

@template
def FirefoxBranding():
    if CONFIG['MOZ_BRANDING_DIRECTORY'] == 'browser/branding/official':
        JS_PREFERENCE_PP_FILES += [
            'pref/firefox-branding.js',
        ]
    else:
        JS_PREFERENCE_FILES += [
            'pref/firefox-branding.js',
        ]

    if CONFIG['MOZ_WIDGET_TOOLKIT'] == 'windows':
        FINAL_TARGET_FILES['..'] += [
            'firefox.VisualElementsManifest.xml',
        ]
        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',
            'default32.png',
            'default48.png',
            'default64.png',
        ]