/// <summary>
 /// Wrapper method for the FileUpdated event.
 /// </summary>
 void OnFileUpdated(ClassPadEventArgs args)
 {
     if (null != FileUpdated)
     {
         FileUpdated(args);
     }
 }
 /// <summary>
 /// Wrapper method for the FileUpdated event.
 /// </summary>
 void OnFileUpdated(ClassPadEventArgs args)
 {
     Runtime.RunInMainThread(() => {
         if (null != FileUpdated)
         {
             FileUpdated(args);
         }
     });
 }