private void DcrEvent_OnMouseLeftButtonUp(object sender, MouseButtonEventArgs e)
{
var activity = sender?.GetType().GetProperty("DataContext")?.GetValue(sender, null) as string;
if (_dcrGraph.ExecuteActivity(activity))
{
RebuildDcr(_dcrGraph.ExportRawDcrString(), DcrText.Text);
if (_traceRecording)
{
_currentlyRecordingTrace.RecordActivityExecution(activity);
}
}
}
