chrome/browser/resources/pdf/elements/viewer-page-selector/viewer-page-selector.js

   1 // Copyright 2015 The Chromium Authors. All rights reserved.
   2 // Use of this source code is governed by a BSD-style license that can be
   3 // found in the LICENSE file.
   4
   5 var DIGIT_LENGTH = 0.6;
   6
   7 Polymer({
   8   is: 'viewer-page-selector',
   9
  10   properties: {
  11     /**
  12      * The number of pages the document contains.
  13      */
  14     docLength: {
  15       type: Number,
  16       value: 1,
  17       observer: 'docLengthChanged'
  18     },
  19
  20     /**
  21      * The current page being viewed (1-based).
  22      */
  23     pageNo: {
  24       type: String,
  25       value: '1'
  26     }
  27   },
  28
  29   pageNoCommitted: function() {
  30     var page = parseInt(this.pageNo);
  31     if (!isNaN(page)) {
  32       this.fire('change-page', {page: page - 1});
  33       this.$.input.blur();
  34     }
  35   },
  36
  37   docLengthChanged: function() {
  38     var numDigits = this.docLength.toString().length;
  39     this.$.pageselector.style.width = (numDigits * DIGIT_LENGTH) + 'em';
  40   },
  41
  42   select: function() {
  43     this.$.input.select();
  44   },
  45
  46   /**
  47    * @return {boolean} True if the selector input field is currently focused.
  48    */
  49   isActive: function() {
  50     return this.shadowRoot.activeElement == this.$.input;
  51   }
  52 });