public void actionPerformed(ActionEvent e) {
   float newZoom = viewerState.getZoom() * (1.0f / ZOOM_INCREMENT);
   viewerState.storeZoom(newZoom);
   pdfDecoder.setPageParameters(newZoom, viewerState.getPage(), PAGE_ROTATION);
   pdfDecoder.invalidate();
   mainFrame.repaint();
 }
 public void actionPerformed(ActionEvent e) {
   float newZoom = viewerState.getZoom() * ZOOM_INCREMENT;
   viewerState.storeZoom(newZoom);
   // System.out.println ("setting zoom at " + newZoom);
   pdfDecoder.setPageParameters(newZoom, viewerState.getPage(), PAGE_ROTATION);
   pdfDecoder.invalidate();
   mainFrame.repaint();
 }