void (int delay) { int newValue = TOOLTIPS_DELAY_RANGE.fit(delay); int old = myOptions.TOOLTIPS_DELAY_MS; if (old == newValue) return; myOptions.TOOLTIPS_DELAY_MS = newValue; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_TOOLTIPS_DELAY_MS, old, newValue); }