anchor.diff:        },
   
         reopen: function(options) {
  -        this.options.text_size = options.text_size;
  -        var currentScale = this.pdfViewer.currentScale;
  -        var newScale = parseInt(options.text_size) / 100.0;
  -        this.pdfViewer.currentScale = newScale;
  +        this.options.scale = options.scale;
  +        var newScale = this.options.scale;
  +        // var currentScale = this.pdfViewer.currentScaleValue;
  +        // var newScale = parseInt(options.scale) / 100.0;
  +        // if ( newScale == 1.0 ) { newScale = 'auto'; }
  +        // else {
  +        //   // calculate what 'auto' would be
  +        //   var currentPage = reader.pdfViewer._pages[reader.pdfViewer._currentPageNumber - 1];
  +        //   var hPadding = 40; var vPadding = 5;
  +        //   var pageWidthScale = (reader.pdfViewer.container.clientWidth - hPadding) /
  +        //                        currentPage.width * currentPage.scale;
  +        //   var pageHeightScale = (reader.pdfViewer.container.clientHeight - vPadding) /
  +        //                         currentPage.height * currentPage.scale;
  +        //   var horizontalScale = pageWidthScale;
  +        //   newScale = Math.min(1.25, horizontalScale) * newScale;
  +        // }
  +        // this.options._currentScaleValue = newScale;
  +        this.pdfViewer.currentScaleValue = newScale;
         },
   
         EOT: true
  
positive.code:             // reset the zoom to "auto"
              // self.PDFViewerApplication.zoomReset();
  
              self.pdfViewer.currentScaleValue = 1.2;
              self.options.text_size = "120";
  
              self.pdfViewer = this.PDFViewerApplication.pdfViewer;
              var setupInterval = setInterval(function() {
                if ( self.PDFViewerApplication.pdfDocument != null ) {
                  clearInterval(setupInterval);
  
                  // add events to viewer
                  self.PDFViewerApplication.eventBus.on('pagechanging', function(evt) {
  
negative.code:     <%= render "cozy_controls_bottom", presenter: @presenter, monograph_presenter: @monograph_presenter %>
  
      // start reader
      reader.start(function() {
        // distinguish these buttons from the links underneath, too much CSS to add otherwise, methinks
        var element = document.getElementById("viewThumbnail");
        element.classList.add("cozy-control", "button--lg");
        var element = document.getElementById("viewOutline");
        element.classList.add("cozy-control", "button--lg");
      });
  
    </script>
  
  
  