Java ViewerState.getZoom Beispiele

Beispiel #1

Datei: ClusterViewer.java Projekt: remtcs/Network-Inference-Workspace

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

Beispiel #2

Datei: ClusterViewer.java Projekt: remtcs/Network-Inference-Workspace

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