private void button2_Click(object sender, EventArgs e)
{
IFilter filter = makeThreadFilter();
List <int> varlist = new List <int>();
lock (model)
{
foreach (Entry entry in model.GetMarkedEntries())
{
varlist.AddRange(entry.record.vars.Keys);
}
}
if (varlist.Count == 0)
{
MessageBox.Show((Control)sender, "No marked entries found. Use <SPACE> key to mark entries.", "",
MessageBoxButtons.OK, MessageBoxIcon.Information,
MessageBoxDefaultButton.Button1, (MessageBoxOptions)0);
}
else
{
lock (model)
{
filter = new IntersectionFilter(filter, new VarFilter(varlist.ToArray()));
}
controller.QueueCommand(new GuiController.Command(delegate()
{
controller.CreateFilteredView(filter, null, olddisplaystyle.Checked);
}));
}
}
private void button5_Click(object sender, EventArgs e)
{
IFilter filter = makeThreadFilter();
lock (model)
{
filter = new IntersectionFilter(new PreemptionFilter(), filter);
}
controller.QueueCommand(new GuiController.Command(delegate()
{
controller.CreateFilteredView(filter, null, olddisplaystyle.Checked);
}));
}