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