| 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 12188d7d57d79d861cecb25c5b377068f072791b..198b551805a2c45010bae04f680b3b6de272e417 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,
|
| },
|
|
|