Index: chrome/browser/resources/extensions/extensions.js |
=================================================================== |
--- chrome/browser/resources/extensions/extensions.js (revision 147832) |
+++ chrome/browser/resources/extensions/extensions.js (working copy) |
@@ -237,6 +237,7 @@ |
if (extensionsData.developerMode && !extensionsData.managedMode) { |
pageDiv.classList.add('dev-mode'); |
$('toggle-dev-on').checked = true; |
+ $('dev-controls').hidden = false; |
} else { |
pageDiv.classList.remove('dev-mode'); |
$('toggle-dev-on').checked = false; |