@Override public void stateChanged(ChangeEvent e) { int v = scaleSlider.getValue(); viewer.setScale(v / 1000.0 + 1.0); } }
@Override public void stateChanged(ChangeEvent e) { int v = scaleSlider.getValue(); viewer.setScale(v / 1000.0 + 1.0); } }
@Override public void stateChanged(ChangeEvent e) { int v = scaleSlider.getValue(); viewer.setScale(v / 1000.0 + 1.0); } }
@Override public void stateChanged(ChangeEvent e) { int v = scaleSlider.getValue(); viewer.setScale(v / 1000.0 + 1.0); } }
public void setScale(double scale) { if ( treeViewers==null ) return; for (TreeViewer viewer : treeViewers) { viewer.setScale(scale); } treeScrollPane.revalidate(); }
public Future<JFrame> open() { final TreeViewer viewer = this; viewer.setScale(1.5); Callable<JFrame> callable = new Callable<JFrame>() { JFrame result; @Override public JFrame call() throws Exception { SwingUtilities.invokeAndWait(new Runnable() { @Override public void run() { result = showInDialog(viewer); } }); return result; } }; ExecutorService executor = Executors.newSingleThreadExecutor(); try { return executor.submit(callable); } finally { executor.shutdown(); } }
public Future<JFrame> open() { final TreeViewer viewer = this; viewer.setScale(1.5); Callable<JFrame> callable = new Callable<JFrame>() { JFrame result; @Override public JFrame call() throws Exception { SwingUtilities.invokeAndWait(new Runnable() { @Override public void run() { result = showInDialog(viewer); } }); return result; } }; ExecutorService executor = Executors.newSingleThreadExecutor(); try { return executor.submit(callable); } finally { executor.shutdown(); } }
public Future<JDialog> open() { final TreeViewer viewer = this; viewer.setScale(1.5); Callable<JDialog> callable = new Callable<JDialog>() { JDialog result; @Override public JDialog call() throws Exception { SwingUtilities.invokeAndWait(new Runnable() { @Override public void run() { result = showInDialog(viewer); } }); return result; } }; ExecutorService executor = Executors.newSingleThreadExecutor(); try { return executor.submit(callable); } finally { executor.shutdown(); } }
@NotNull public Future<JDialog> open() { final TreeViewer viewer = this; viewer.setScale(1.5); Callable<JDialog> callable = new Callable<JDialog>() { JDialog result; @Override public JDialog call() throws Exception { SwingUtilities.invokeAndWait(new Runnable() { @Override public void run() { result = showInDialog(viewer); } }); return result; } }; ExecutorService executor = Executors.newSingleThreadExecutor(); try { return executor.submit(callable); } finally { executor.shutdown(); } }
viewer.setScale(lastKnownViewerScale);
viewer.setScale(lastKnownViewerScale);
viewer.setScale(lastKnownViewerScale);
viewer.setScale(lastKnownViewerScale);
errorlinePainter = new LinePainter(errorArea); panel.add(errorScrollPane); tv.setScale(scale); ZoomPane tvZoomPane = new ZoomPane(tv, title + " " + this.errorCount + " errors",