//タイマーの受信
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();
}
}
