if (labelWidth > 0) { Dimension d = getJLabel().getPreferredSize(); d.setSize(labelWidth, d.getHeight() + 3); getJLabel().setPreferredSize(d); d = getJLabel().getMinimumSize(); d.setSize(labelWidth, d.getHeight() + 1); getJLabel().setMinimumSize(d); }
    protected void createWidgets() {	slider = new JSlider(JSlider.HORIZONTAL,			     getValueMin(), getValueMax(), getValue());        slider.addChangeListener(new ChangeListener() {		public void stateChanged(ChangeEvent e) {		    eventListener(e);		}	    });	text = new JTextField(new Integer(getValue() + base).toString(), 4);	text.setEditable(false);    }