| Index: chrome/browser/resources/pdf/elements/viewer-page-selector/viewer-page-selector.js
|
| diff --git a/chrome/browser/resources/pdf/elements/viewer-page-selector/viewer-page-selector.js b/chrome/browser/resources/pdf/elements/viewer-page-selector/viewer-page-selector.js
|
| index ad344f60e138341a7f7ae3f73a870e8ae5076945..f5486779573d7f41a7f7c165707fe2b8523584b3 100644
|
| --- a/chrome/browser/resources/pdf/elements/viewer-page-selector/viewer-page-selector.js
|
| +++ b/chrome/browser/resources/pdf/elements/viewer-page-selector/viewer-page-selector.js
|
| @@ -9,21 +9,14 @@ Polymer({
|
| /**
|
| * The number of pages the document contains.
|
| */
|
| - docLength: {
|
| - type: Number,
|
| - value: 1,
|
| - observer: 'docLengthChanged'
|
| - },
|
| + docLength: {type: Number, value: 1, observer: 'docLengthChanged'},
|
|
|
| /**
|
| * The current page being viewed (1-based). A change to pageNo is mirrored
|
| * immediately to the input field. A change to the input field is not
|
| * mirrored back until pageNoCommitted() is called and change-page is fired.
|
| */
|
| - pageNo: {
|
| - type: Number,
|
| - value: 1
|
| - },
|
| + pageNo: {type: Number, value: 1},
|
|
|
| strings: Object,
|
| },
|
|
|