Searched refs:zoomSlider (Results 1 – 2 of 2) sorted by relevance
130 private JSlider zoomSlider; field in Workspace397 zoomSlider = new JSlider(); in buildStatusPanel()398 zoomSlider.putClientProperty("JComponent.sizeVariant", "small"); in buildStatusPanel()399 zoomSlider.setMaximum(200); in buildStatusPanel()400 zoomSlider.setMinimum(20); in buildStatusPanel()401 zoomSlider.setValue(100); in buildStatusPanel()402 zoomSlider.addChangeListener(new ChangeListener() { in buildStatusPanel()407 leftSide.add(zoomSlider); in buildStatusPanel()442 zoomSlider.setVisible(false); in hideStatusBarComponents()631 zoomSlider.setVisible(true); in showStatusBarComponents()[all …]
74 private JSlider zoomSlider; field in ScreenViewer120 if (zoomSlider != null) { in mouseWheelMoved()121 int val = zoomSlider.getValue(); in mouseWheelMoved()123 zoomSlider.setValue(val); in mouseWheelMoved()157 zoomSlider = buildSlider(panel, "Zoom:", "2x", "24x", 2, 24, 8, 2); in buildViewerAndControls()158 zoomSlider.addChangeListener( in buildViewerAndControls()