private int getBlinkingPeriod() { if (myBlinkingPeriod != mySettingsProvider.caretBlinkingMs()) { setBlinkingPeriod(mySettingsProvider.caretBlinkingMs()); } return myBlinkingPeriod; }