diff options
| author | rafaelw@chromium.org <rafaelw@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-10-27 18:03:22 +0000 |
|---|---|---|
| committer | rafaelw@chromium.org <rafaelw@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-10-27 18:03:22 +0000 |
| commit | 30be1ce62471386dbdebf8d8f4f87e31a772661c (patch) | |
| tree | 1cced9c953931f3722f0e41a4ca34afecc4beab0 /chrome/common/pref_names.cc | |
| parent | a4a4ffde20dff2c18909c738fdb84e0c8f68007c (diff) | |
| download | chromium_src-30be1ce62471386dbdebf8d8f4f87e31a772661c.zip chromium_src-30be1ce62471386dbdebf8d8f4f87e31a772661c.tar.gz chromium_src-30be1ce62471386dbdebf8d8f4f87e31a772661c.tar.bz2 | |
Further polish to extensions_ui page.
This changes the details text from gray to black. It also persists in the preferences the state of devMode (whether the developer tools are showing). Lastly, it adds a fade/slide effect on page elements which are shown in devMode.
BUG=25471
Review URL: http://codereview.chromium.org/329018
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@30219 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'chrome/common/pref_names.cc')
| -rw-r--r-- | chrome/common/pref_names.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc index 8293cf5..ca6c17f 100644 --- a/chrome/common/pref_names.cc +++ b/chrome/common/pref_names.cc @@ -267,6 +267,10 @@ const wchar_t kCurrentThemeTints[] = L"extensions.theme.tints"; const wchar_t kCurrentThemeDisplayProperties[] = L"extensions.theme.properties"; +// Boolean pref which persists whether the extensions_ui is in developer mode +// (showing developer packing tools and extensions details) +const wchar_t kExtensionsUIDeveloperMode[] = L"extensions.ui.developer_mode"; + // Boolean that indicates whether we should check if we are the default browser // on start-up. const wchar_t kCheckDefaultBrowser[] = L"browser.check_default_browser"; |