Searched refs:zoomSlider (Results 1 – 1 of 1) sorted by relevance
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()