diff options
| author | ericzeng <ericzeng@chromium.org> | 2014-09-11 16:25:22 -0700 |
|---|---|---|
| committer | Commit bot <commit-bot@chromium.org> | 2014-09-12 00:19:13 +0000 |
| commit | 685c341afc41e774ab12d38208fc1ad3fb1ffd6d (patch) | |
| tree | dd643cfa38e4702e5817f200571a1ff4f923b9b8 /tools/gritsettings | |
| parent | c98044b806c3003c69d3d6b96286c670fe877648 (diff) | |
| download | chromium_src-685c341afc41e774ab12d38208fc1ad3fb1ffd6d.zip chromium_src-685c341afc41e774ab12d38208fc1ad3fb1ffd6d.tar.gz chromium_src-685c341afc41e774ab12d38208fc1ad3fb1ffd6d.tar.bz2 | |
Add a user agent stylesheet for extension options pages
Apply WebUI styles to extension options pages that opt into using them
through a user agent stylesheet. The styles are copied from widgets.css
and chrome_shared.css in ui/webui/resources/css/ - this is intentional
so that WebUI changes won't break extensions.
The extension.css stylesheet will only be applied to extensions that
opt in using the "options_ui.chrome_style" manifest entry, and it will
only affect the options page specified in the manifest. The font
stylesheet for extensions have been moved to extension_fonts.css, and
are still applied to every extension page.
BUG=408271
Review URL: https://codereview.chromium.org/537773003
Cr-Commit-Position: refs/heads/master@{#294491}
Diffstat (limited to 'tools/gritsettings')
| -rw-r--r-- | tools/gritsettings/resource_ids | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/gritsettings/resource_ids b/tools/gritsettings/resource_ids index 4e3388b..1f9c5ce 100644 --- a/tools/gritsettings/resource_ids +++ b/tools/gritsettings/resource_ids @@ -179,6 +179,7 @@ }, "extensions/renderer/resources/extensions_renderer_resources.grd": { "includes": [26850], + "structures": [26950], }, "extensions/extensions_strings.grd": { "messages": [27000], |