| Index: tools/grit/resource_ids
|
| diff --git a/tools/grit/resource_ids b/tools/grit/resource_ids
|
| index b89b95de0332160de6314645210ad07de5723496..c8716009a3bc602e4569f9080035b4074a7da9a9 100644
|
| --- a/tools/grit/resource_ids
|
| +++ b/tools/grit/resource_ids
|
| @@ -130,5 +130,12 @@
|
| # This file is generated during the build.
|
| "<(SHARED_INTERMEDIATE_DIR)/devtools/devtools_resources.grd": {
|
| "includes": [20500],
|
| - }
|
| + },
|
| + # All standard and large theme resources should have the same IDs.
|
| + "chrome/app/theme/theme_resources_standard.grd": {
|
| + "includes": [21000],
|
| + },
|
| + "chrome/app/theme/theme_resources_large.grd": {
|
| + "includes": [21000],
|
| + },
|
| }
|
|
|