Index: chrome/browser/resources/options/extension_settings.js |
diff --git a/chrome/browser/resources/options/extension_settings.js b/chrome/browser/resources/options/extension_settings.js |
index 0beff40f775e64aa99950ada62541adc089fcf71..7867546b8508822450d1dcfbeca2bcb52b2274fe 100644 |
--- a/chrome/browser/resources/options/extension_settings.js |
+++ b/chrome/browser/resources/options/extension_settings.js |
@@ -153,6 +153,19 @@ cr.define('options', function() { |
$('suggest-gallery').hidden = true; |
$('get-more-extensions-container').hidden = true; |
+ // Append extension count to extensionSettingsTitle and frame |
+ // the extension header string. If there are no extensions loaded |
+ // then display title as Extensions only. |
+ $('extension-settings-header').hidden = false; |
+ $('dev-toggle').hidden = false; |
+ var extensionSettingsHeader = templateData.extensionSettingsTitle; |
+ if (extensionsData.extensions.length > 0) { |
+ extensionSettingsHeader = templateData.extensionSettingsTitle + " (" + |
+ extensionsData.extensions.length + ")"; |
+ } |
+ |
+ $('extension-settings-header').innerText = extensionSettingsHeader; |
+ |
if (extensionsData.extensions.length > 0) { |
// Enforce order specified in the data or (if equal) then sort by |
// extension name (case-insensitive). |