Index: chrome/browser/resources/options/options_page.js |
diff --git a/chrome/browser/resources/options/options_page.js b/chrome/browser/resources/options/options_page.js |
index 8044cfd15f59d4c7020201d39650091726e1f795..aa6941505929e5eea9a18cc3ed19a42fd3f73e2d 100644 |
--- a/chrome/browser/resources/options/options_page.js |
+++ b/chrome/browser/resources/options/options_page.js |
@@ -70,7 +70,7 @@ cr.define('options', function() { |
for (var name in this.registeredSubPages) { |
var pageInfo = this.registeredSubPages[name]; |
var match = name == pageName; |
- if (match) |
+ if (match && document.documentElement.getAttribute('hide-menu') != 'true') |
pageInfo.parentPage.visible = true; |
pageInfo.page.visible = match; |
} |