radioBox.add(Box.createHorizontalStrut(16));
JRangeSlider slider = receiptsQ.createVerticalRangeSlider();
slider.setThumbColor(null);
slider.setMinExtent(150000);
slider.addMouseListener(new MouseAdapter() {
public void mousePressed(MouseEvent e) {
m_display.setHighQuality(false);
}
public void mouseReleased(MouseEvent e) {
m_display.setHighQuality(true);