public void paintLabels( Graphics g ) {
final Color color = slider.isEnabled() ? Color.black : Color.gray;
final Dictionary labelTable = slider.getLabelTable();
if ( labelTable == null )
return;
final Enumeration keys = labelTable.keys();
final int min = slider.getMinimum();
final int max = slider.getMaximum();
while ( keys.hasMoreElements() ) {
final int integer = (Integer)keys.nextElement();
if ( integer >= min && integer <= max ) {