public RandomizableTimeWidgets(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 FloatSlider(
name, 0, new FloatRange(0, 0),
InitialChanged, flags);
range_ = new FloatSlider(
name + " random range", 0, new FloatRange(0, 0),
RangeChanged, flags);
cutoff_ = new StringList(
name + " cut-off", "",
RandomizableTime.GetCutoffNames(), CutoffChanged, flags);
}
