public void Set_collision_margin(double mval) { m_collision_margin = mval; this.numeric_collision_margin.Value = (decimal)m_collision_margin; }