public void DeleteEvent(HistoryEvent @event)
{
this.events.Remove(@event);
HistoryEventArgs eargs = new HistoryEventArgs(HistoryEventTypes.REMOVED);
eargs.AddExtra(HistoryEventArgs.EXTRA_EVENT, @event);
EventHandlerTrigger.TriggerEvent<HistoryEventArgs>(this.onHistoryEvent, this, eargs);
this.DeferredSave();
}
private void historyService_onHistoryEvent(object sender, HistoryEventArgs e)
{
if (e.Type != HistoryEventTypes.RESET)
{
return;
}
if (this.Dispatcher.Thread != System.Threading.Thread.CurrentThread)
{
this.Dispatcher.BeginInvoke(System.Windows.Threading.DispatcherPriority.Normal,
new EventHandler<HistoryEventArgs>(this.historyService_onHistoryEvent), sender, new object[] { e });
return;
}
this.UpdateSource();
}
public void AddEvent(HistoryEvent @event)
{
this.events.Insert(0, @event);
HistoryEventArgs eargs = new HistoryEventArgs(HistoryEventTypes.ADDED);
eargs.AddExtra(HistoryEventArgs.EXTRA_EVENT, @event);
EventHandlerTrigger.TriggerEvent<HistoryEventArgs>(this.onHistoryEvent, this, eargs);
this.DeferredSave();
}
public void UpdateEvent(HistoryEvent @event)
{
HistoryEventArgs eargs = new HistoryEventArgs(HistoryEventTypes.UPDATED);
eargs.AddExtra(HistoryEventArgs.EXTRA_EVENT, @event);
EventHandlerTrigger.TriggerEvent<HistoryEventArgs>(this.onHistoryEvent, this, eargs);
this.DeferredSave();
}
