| Index: chrome/browser/resources/settings/settings_menu/settings_menu.js
|
| diff --git a/chrome/browser/resources/settings/settings_menu/settings_menu.js b/chrome/browser/resources/settings/settings_menu/settings_menu.js
|
| index ec2108a9e00f50041aba437abd64d9ec9a2a35cb..26635655126894197990b521135b3f9bbeb6c42d 100644
|
| --- a/chrome/browser/resources/settings/settings_menu/settings_menu.js
|
| +++ b/chrome/browser/resources/settings/settings_menu/settings_menu.js
|
| @@ -8,35 +8,33 @@
|
| *
|
| * Example:
|
| *
|
| - * <cr-settings-menu pages="{{pages}}" selectedId="{{selectedId}}">
|
| + * <cr-settings-menu pages="[[pages]]" selected-id="{{selectedId}}">
|
| * </cr-settings-menu>
|
| *
|
| * @group Chrome Settings Elements
|
| * @element cr-settings-menu
|
| */
|
| -Polymer('cr-settings-menu', {
|
| - publish: {
|
| +Polymer({
|
| + is: 'cr-settings-menu',
|
| +
|
| + properties: {
|
| /**
|
| * Pages to show menu items for.
|
| *
|
| - * @attribute pages
|
| - * @type Array<!Object>
|
| - * @default null
|
| + * @type {!Array<!Object>}
|
| */
|
| - pages: null,
|
| + pages: {
|
| + type: Array,
|
| + value: function() { return []; },
|
| + },
|
|
|
| /**
|
| * ID of the currently selected page.
|
| - *
|
| - * @attribute selectedId
|
| - * @type string
|
| - * default ''
|
| */
|
| - selectedId: '',
|
| - },
|
| -
|
| - /** @override */
|
| - created: function() {
|
| - this.pages = [];
|
| + selectedId: {
|
| + type: String,
|
| + value: '',
|
| + notify: true,
|
| + },
|
| },
|
| });
|
|
|