//タイマーの受信 private void CaretTick() { if (_enabled && _caret.Blink) { _caret.Tick(); _document.InvalidatedRegion.InvalidateLine(GetTopLine().ID + _caret.Y); InvalidateEx(); } }
//タイマーの受信 private void CaretTick() { if (_enabled) { // Note: // Currently, blinking status of the caret is used also for displaying "blink" characters. // So the blinking status of the caret have to be updated here even if the caret blinking was not enabled. _caret.Tick(); if (_requiresPeriodicRedraw) { _requiresPeriodicRedraw = false; _document.InvalidatedRegion.InvalidatedAll = true; } else { _document.InvalidatedRegion.InvalidateLine(GetTopLine().ID + _caret.Y); } InvalidateEx(); } }