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

1 files changed, 6 insertions, 0 deletions

diff --git a/chrome/browser/extensions/extensions_ui.h b/chrome/browser/extensions/extensions_ui.h
index f315504..37e73b6 100644
--- a/chrome/browser/extensions/extensions_ui.h
+++ b/chrome/browser/extensions/extensions_ui.h
@@ -20,6 +20,7 @@ class DictionaryValue;
 class Extension;
 class ExtensionsService;
 class FilePath;
+class PrefService;
 class UserScript;
 class Value;
 
@@ -83,6 +84,9 @@ class ExtensionsDOMHandler
   // Callback for "requestExtensionsData" message.
   void HandleRequestExtensionsData(const Value* value);
 
+  // Callback for "toggleDeveloperMode" message.
+  void HandleToggleDeveloperMode(const Value* value);
+
   // Callback for "inspect" message.
   void HandleInspectMessage(const Value* value);
 
@@ -153,6 +157,8 @@ class ExtensionsUI : public DOMUI {
 
   static RefCountedMemory* GetFaviconResourceBytes();
 
+  static void RegisterUserPrefs(PrefService* prefs);
+
  private:
   DISALLOW_COPY_AND_ASSIGN(ExtensionsUI);
 };