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); }