Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1031)

Unified Diff: third_party/WebKit/public/blink_resources.gyp

Issue 1400383002: Separate desktop and mobile media player controls image resources. Base URL: https://chromium.googlesource.com/chromium/src.git@new_media_ui_stale_pngs
Patch Set: updated fullscreen filenames to match the others. Created 5 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: third_party/WebKit/public/blink_resources.gyp
diff --git a/third_party/WebKit/public/blink_resources.gyp b/third_party/WebKit/public/blink_resources.gyp
index 7d848e826cad6d5edf33db5df2fb6e0cf19a0674..18e96d16562883b48904d7881aba06c76762af3b 100644
--- a/third_party/WebKit/public/blink_resources.gyp
+++ b/third_party/WebKit/public/blink_resources.gyp
@@ -30,12 +30,22 @@
'type': 'none',
'variables': {
'grit_out_dir': '<(SHARED_INTERMEDIATE_DIR)/blink/public/resources',
+ 'conditions': [
+ [ 'OS == "android"', {
+ 'platform_type' : 'mobile',
+ }, {
+ 'platform_type' : 'desktop',
+ } ],
+ ],
},
'actions': [
{
'action_name': 'generate_blink_image_resources',
'variables': {
'grit_grd_file': 'blink_image_resources.grd',
+ 'grit_additional_defines': [
+ '-E', 'platform_type=<(platform_type)',
+ ],
},
'includes': [ '../../../build/grit_action.gypi' ],
},

Powered by Google App Engine
This is Rietveld 408576698