| 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;
|
| }
|
|
|