public void setBlinkCaret(boolean blinkCaret) {
    boolean old = myOptions.IS_CARET_BLINKING;
    if (old == blinkCaret) return;
    myOptions.IS_CARET_BLINKING = blinkCaret;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_IS_CARET_BLINKING, old, blinkCaret);
  }
public void setBlinkCaret(boolean blinkCaret)