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