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();
}
