/// <summary> /// What to do when the Document is updated. Currently somewhat redundant functionality with /// the FileWatcher doing the same essentially. /// </summary> private void OnDocumentUpdated(object sender, DOM.DocumentUpdatedEventArgs args) { }
void PrintDocumentUpdated(object sender, DOM.DocumentUpdatedEventArgs args) { Trace.WriteLine("DocumentUpdated Event Args - No Parameters", "DocumentUpdated"); }