public void RecreateCaret() { Log("RecreateCaret"); DisposeCaret(); if (!hidden) { CreateCaret(); } }
public void OptionsChanged() { UpdateMatchingBracket(); textView.OptionsChanged(); caret.RecreateCaret(); caret.UpdateCaretPosition(); Refresh(); }