| Index: chrome/browser/resources/settings/settings_page/settings_section.js
|
| diff --git a/chrome/browser/resources/settings/settings_page/settings_section.js b/chrome/browser/resources/settings/settings_page/settings_section.js
|
| index de1e420e77a046ad26ba4023bdd39dd556ff6d1e..426ee1301c0bd67341e3ec1abeb233c8cc7c842e 100644
|
| --- a/chrome/browser/resources/settings/settings_page/settings_section.js
|
| +++ b/chrome/browser/resources/settings/settings_page/settings_section.js
|
| @@ -33,6 +33,16 @@ var SettingsSectionElement = Polymer({
|
|
|
| /** Title for the section header. */
|
| pageTitle: String,
|
| +
|
| + /**
|
| + * A CSS attribute used for temporarily hiding a SETTINGS-SECTION for the
|
| + * purposes of searching.
|
| + */
|
| + hiddenBySearch: {
|
| + type: Boolean,
|
| + value: false,
|
| + reflectToAttribute: true,
|
| + },
|
| },
|
|
|
| /**
|
|
|