void WatcherChanged (object o, ChangedArgs args)
{
((RecentFilesProvider) Provider).RefreshRecentDocs ();
}
void HandleMonitorChanged (object o, ChangedArgs args)
{
if (args.EventType == FileMonitorEvent.Created || args.EventType == FileMonitorEvent.Deleted)
UpdateHelpers ();
}
void HandleFileChanged (object o, ChangedArgs args)
{
Log<DesktopItem>.Debug ("file {0} changed", File.Path);
Values = GetValuesFromFile ();
OnChanged ();
}
void HandleChanged (object o, ChangedArgs args)
{
DockServices.System.RunOnMainThread (delegate {
Update ();
});
}
void WatcherChanged (object o, ChangedArgs args)
{
if (args.EventType == FileMonitorEvent.ChangesDoneHint)
DockServices.System.RunOnMainThread ( delegate {
UpdateItems ();
});
}