void (int blinkInterval) { int newValue = BLINKING_RANGE.fit(blinkInterval); int old = myOptions.CARET_BLINKING_PERIOD; if (old == newValue) return; myOptions.CARET_BLINKING_PERIOD = newValue; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_CARET_BLINKING_PERIOD, old, newValue); }