public void propertyChange(PropertyChangeEvent e) {
if (e.getPropertyName().equals("minimum") && startAtMin) {
start = getMinimum();
}
if (e.getPropertyName().equals("minimum") || e.getPropertyName().equals("maximum")) {
Enumeration keys = getLabelTable().keys();
Hashtable<Object, Object> hashtable = new Hashtable<Object, Object>();
// Save the labels that were added by the developer
while (keys.hasMoreElements()) {
Object key = keys.nextElement();
Object value = labelTable.get(key);
if (!(value instanceof LabelUIResource)) {
hashtable.put(key, value);
}
}
clear();
createLabels();
// Add the saved labels
keys = hashtable.keys();
while (keys.hasMoreElements()) {
Object key = keys.nextElement();
put(key, hashtable.get(key));
}
((JSlider) e.getSource()).setLabelTable(this);
}
}
private Hashtable buildReverseMap(InputMap im) {
KeyStroke k[] = im.allKeys();
Hashtable h = new Hashtable();
if (k != null) {
for (int i = 0; i < k.length; i++) {
Object nk = im.get(k[i]);
Object cv = h.get(nk);
if (h.containsKey(nk)) {
((Vector) cv).add(k[i]);
} else {
Vector v = new Vector();
v.add(k[i]);
h.put(nk, v);
}
}
}
return h;
}
public void cacheIcon(File f, Icon i) {
if (f == null || i == null) {
return;
}
iconCache.put(f, i);
}