Example #1
0
 /// <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)
 {
 }
Example #2
0
 void PrintDocumentUpdated(object sender, DOM.DocumentUpdatedEventArgs args)
 {
     Trace.WriteLine("DocumentUpdated Event Args - No Parameters", "DocumentUpdated");
 }