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 ();
		}
Example #3
0
		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 ();
				});
		}