summaryrefslogtreecommitdiffstats
path: root/chrome/common/pref_names.h
diff options
context:
space:
mode:
authorrafaelw@chromium.org <rafaelw@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98>2009-10-27 18:03:22 +0000
committerrafaelw@chromium.org <rafaelw@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98>2009-10-27 18:03:22 +0000
commit30be1ce62471386dbdebf8d8f4f87e31a772661c (patch)
tree1cced9c953931f3722f0e41a4ca34afecc4beab0 /chrome/common/pref_names.h
parenta4a4ffde20dff2c18909c738fdb84e0c8f68007c (diff)
downloadchromium_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.h')
-rw-r--r--chrome/common/pref_names.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/chrome/common/pref_names.h b/chrome/common/pref_names.h
index 96eacaf..dfbf8dd1 100644
--- a/chrome/common/pref_names.h
+++ b/chrome/common/pref_names.h
@@ -109,6 +109,7 @@ extern const wchar_t kCurrentThemeImages[];
extern const wchar_t kCurrentThemeColors[];
extern const wchar_t kCurrentThemeTints[];
extern const wchar_t kCurrentThemeDisplayProperties[];
+extern const wchar_t kExtensionsUIDeveloperMode[];
extern const wchar_t kCheckDefaultBrowser[];
extern const wchar_t kUseCustomChromeFrame[];
extern const wchar_t kShowOmniboxSearchHint[];