| private OnTextDocumentDisposed ( object sender, TextDocumentEventArgs e ) : void | ||
| sender | object | |
| e | TextDocumentEventArgs | |
| return | void | |
void OnTextDocumentDisposed(object sender, TextDocumentEventArgs e) {
if (e.TextDocument.TextBuffer == this.TextBuffer) {
Close();
}
}
#endregion