package de.unisiegen.gtitool.ui.swing; import javax.swing.BoundedRangeModel; import javax.swing.JComponent; import javax.swing.JSlider; /** * Special {@link JSlider}. * * @author Christian Fehler * @version $Id$ */ public class JGTISlider extends JSlider { /** * The serial version uid. */ private static final long serialVersionUID = -8865465889290483169L; /** * Allocates a new {@link JGTISlider}. */ public JGTISlider () { super (); init (); } /** * Allocates a new {@link JGTISlider}. * * @param brm The {@link BoundedRangeModel}. */ public JGTISlider ( BoundedRangeModel brm ) { super ( brm ); init (); } /** * Allocates a new {@link JGTISlider}. * * @param orientation The orientation. */ public JGTISlider ( int orientation ) { super ( orientation ); init (); } /** * Allocates a new {@link JGTISlider}. * * @param min The min value. * @param max The max value. */ public JGTISlider ( int min, int max ) { super ( min, max ); init (); } /** * Allocates a new {@link JGTISlider}. * * @param min The min value. * @param max The max value. * @param value The value. */ public JGTISlider ( int min, int max, int value ) { super ( min, max, value ); init (); } /** * Allocates a new {@link JGTISlider}. * * @param orientation The orientation. * @param min The min value. * @param max The max value. * @param value The value. */ public JGTISlider ( int orientation, int min, int max, int value ) { super ( orientation, min, max, value ); init (); } /** * Initializes this {@link JComponent}. */ private final void init () { setPaintLabels ( true ); setPaintTicks ( true ); setPaintTrack ( true ); setSnapToTicks ( true ); } }