public override void Execute(TextBoxControl editor) { editor.BookmarkManager.RemoveMarks(predicate); //editor.Document.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.WholeTextArea)); editor.CommitUpdate(); }
public override void Execute(TextBoxControl editor) { editor.BookmarkManager.ToggleMarkAt(editor.Caret.Position); //editor.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.SingleLine, textArea.Caret.Line)); editor.CommitUpdate(); }