Converted the spin_id_element() wizard method into the gui.input_elements.spin_id.Spin_id GUI element.
Authored by: bugman 2012-05-28
Parent: [r16481]
Child: [r16483]