void StartProfile(ProfileConfiguration config)
{
ProfileView view = new ProfileView();
view.Show();
View = view;
logging_enabled_action.Visible = true;
logging_enabled_action.Active = config.StartEnabled;
proc = new ProfilerProcess(config);
proc.Paused += delegate { Refresh(view); };
proc.Exited += delegate { Refresh(view); logging_enabled_action.Visible = false; };
proc.Start();
log_info = new LogInfo(proc.LogFile, config.ToString());
history.LogFiles.Prepend(log_info);
history.Configs.Prepend(config);
}
void UpdateRepeatSessions(object o, EventArgs args)
{
for (int i = 0; i < max_history_count; i++)
{
Gtk.Action action = group.GetAction("RepeatSession" + i);
if (i < history.Configs.Count)
{
ProfileConfiguration config = history.Configs [i];
action.Label = "_" + i + ": " + config.ToString();
action.Visible = true;
}
else
{
action.Visible = false;
}
}
}