B2G/gecko/browser/extensions/pdfjs/content/web/viewer.js
// called once when the document is loaded
called once when the document is loaded
called once when the document is loaded
function pdfViewInitialize() {
    var self = this;
    var container = this.container = document.getElementById('viewerContainer');
    this.pageViewScroll = {};
    this.watchScroll(container, this.pageViewScroll, updateViewarea);
    var thumbnailContainer = this.thumbnailContainer =
                             document.getElementById('thumbnailView');
    this.thumbnailViewScroll = {};
    this.watchScroll(thumbnailContainer, this.thumbnailViewScroll,
                     this.renderHighestPriority.bind(this));
    this.initialized = true;
    container.addEventListener('scroll', function() {
      self.lastScroll = Date.now();
    }, false);
  }
function pdfViewInitialize ( ) { var self = this ; var container = this . container = document . getElementById ( 'viewerContainer' ) ; this . pageViewScroll = { } ; this . watchScroll ( container , this . pageViewScroll , updateViewarea ) ; var thumbnailContainer = this . thumbnailContainer = document . getElementById ( 'thumbnailView' ) ; this . thumbnailViewScroll = { } ; this . watchScroll ( thumbnailContainer , this . thumbnailViewScroll , this . renderHighestPriority . bind ( this ) ) ; this . initialized = true ; container . addEventListener ( 'scroll' , function ( ) { self . lastScroll = Date . now ( ) ; } , false ) ; }
called once when the document is loaded
called once when the document is loaded