void Refresh(ProfileView contents)
{
Gtk.Application.Invoke (delegate {
if (contents.LoadProfile (proc.LogFile)) {
if (log_info == null || log_info.Filename != proc.LogFile) {
log_info = new LogInfo (proc.LogFile, log_info == null ? null : log_info.Detail);
history.LogFiles.Add (log_info);
}
save_action.Sensitive = true;
show_system_nodes_action.Sensitive = contents.SupportsFiltering;
}
});
}
void OpenProfile(string filename)
{
ProfileView view = new ProfileView ();
if (view.LoadProfile (filename)) {
view.Show ();
View = view;
logging_enabled_action.Visible = false;
save_action.Sensitive = true;
show_system_nodes_action.Sensitive = view.SupportsFiltering;
log_info = null;
foreach (LogInfo info in history.LogFiles) {
if (info.Filename == filename) {
log_info = info;
break;
}
}
if (log_info == null)
log_info = new LogInfo (filename, null);
history.LogFiles.Prepend (log_info);
}
}
