void set_value(string name, double newValue) { if (track_changes) { Tool.Scene.History.PushChange(ActiveParameterSet.MakeChange(name, newValue)); Tool.Scene.History.PushInteractionCheckpoint(); } else { ActiveParameterSet.SetValue <double>(name, newValue); } }