public void setBlinkPeriod(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);
  }
public void setBlinkPeriod(int blinkInterval)