public RandomizableIntMonitorWidgets(string name, int flags = 0)
: base(name, flags)
{
current_ = new IntSlider(
name, 0, new IntRange(0, 10), null,
flags_ | FloatSlider.Disabled | FloatSlider.Constrained);
}
public RandomizableIntWidgets(string name, int flags = 0)
: base(flags)
{
interval_ = new FloatSlider(
name + " change interval", 0, new FloatRange(0, 10),
IntervalChanged, flags);
randomHalf_ = new Button("Randomize half", RandomizeHalf, flags);
initial_ = new IntSlider(
name, 0, new IntRange(0, 0),
InitialChanged, flags);
range_ = new IntSlider(
name + " range", 0, new IntRange(0, 0),
RangeChanged, flags);
}