| public DidChangeSelection ( NSNotification notification ) : void | ||
| notification | NSNotification | A notification defining the change. |
| return | void | |
public override void DidChangeSelection (NSNotification notification)
{
// Pass through to Text Editor event
TextEditor.RaiseSourceSelectionChanged(TextEditor, EventArgs.Empty);
}