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();
 }
 public void actionPerformed(ActionEvent e) {
   int currentPage = viewerState.getPage();
   if (currentPage < pdfDecoder.getPageCount()) {
     currentPage += 1;
     viewerState.setPage(currentPage);
     try {
       pdfDecoder.decodePage(currentPage);
       pdfDecoder.invalidate();
       mainFrame.repaint();
     } catch (Exception e1) {
       System.err.println("forward 1 page");
       e1.printStackTrace();
     }
   }
 }