private Widget CreateFilteringWidgets()
{
ShowInitialConditions = new CheckBoxView(this);
ShowInitialConditions.TextOfLabel = "Show Initial Conditions";
ShowInitialConditions.Changed += OnShowInitialConditionsChanged;
MessagesFilter = new EnumDropDownView <MessageType>(this);
Label label = new Label("Filter messages by severity: ");
Box box = new Box(Orientation.Horizontal, 0);
box.PackStart(label, false, false, 5);
box.PackStart(MessagesFilter.MainWidget, false, false, 0);
Box filtersBox = new VBox();
filtersBox.PackStart(ShowInitialConditions.MainWidget, false, false, 0);
filtersBox.PackStart(box, false, false, 0);
filtersBox.Homogeneous = true;
box.Margin = 5;
Frame frame = new Frame("Message Filters");
frame.Add(filtersBox);
frame.Margin = 5;
return(frame);
}
private Widget CreateCaptureRules()
{
VerbosityDropDown = new EnumDropDownView <MessageType>(this);
Label verbosity = new Label("Messages which should be saved when the simulation is run:");
HBox box = new HBox();
box.PackStart(verbosity, false, false, 5);
box.PackStart(VerbosityDropDown.MainWidget, false, false, 5);
box.Margin = 5;
Frame frame = new Frame("Capture Rules");
frame.Add(box);
frame.Margin = 5;
return(frame);
}
