| 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 42dc22bb31774de4215b11c849da3e74aadabf6b..e731adf64527e2cf7baff5ee7eb86c65a1db7879 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
|
| @@ -2,8 +2,6 @@
|
| // Use of this source code is governed by a BSD-style license that can be
|
| // found in the LICENSE file.
|
|
|
| -var DIGIT_LENGTH = 0.6;
|
| -
|
| Polymer({
|
| is: 'viewer-page-selector',
|
|
|
| @@ -36,7 +34,10 @@ Polymer({
|
|
|
| docLengthChanged: function() {
|
| var numDigits = this.docLength.toString().length;
|
| - this.$.pageselector.style.width = (numDigits * DIGIT_LENGTH) + 'em';
|
| + this.$.pageselector.style.width = numDigits + 'ch';
|
| + // Set both sides of the slash to the same width, so that the layout is
|
| + // exactly centered.
|
| + this.$['pagelength-spacer'].style.width = numDigits + 'ch';
|
| },
|
|
|
| select: function() {
|
|
|