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