void (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); }