public void OptionsChanged() { UpdateMatchingBracket(); textView.OptionsChanged(); caret.RecreateCaret(); caret.UpdateCaretPosition(); Refresh(); }
public void OptionsChanged() { this.BackColor = Enabled ? Document.HighlightingStrategy.GetColorFor("Default").BackgroundColor : SystemColors.InactiveBorder; if (toolTip != null) { toolTip.Dispose(); } UpdateMatchingBracket(); textView.OptionsChanged(); caret.RecreateCaret(); caret.UpdateCaretPosition(); Refresh(); }