void setMagnification2(double magnification) {
   if (magnification > 32.0) magnification = 32.0;
   if (magnification < 0.03125) magnification = 0.03125;
   this.magnification = magnification;
   imp.setTitle(imp.getTitle());
 }