anchor.diff:      <%= render "cozy_controls_bottom", presenter: @presenter, monograph_presenter: @monograph_presenter %>
   
       // start reader
  -    reader.start();
  -
  -    // 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");
  +    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>
   
   
  
positive.code:           return undefined;
         },
      });
      cozy.Control.Preferences.prototype._createPanel = function() {
        var self = this;
        if ( this._modal._container.querySelector('form') ) { return; }
  
        var template = '';
        var possible_fieldsets = [];
        possible_fieldsets.push('TextSize');
        this._fieldsets = [];
        possible_fieldsets.forEach(function(cls) {
          var fieldset = new cozy.Control.Preferences.fieldset[cls](this);
  
negative.code:       },
  
        reopen: function(options) {
          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
  