dispsize_spinbutton = new GEdit.spin_button (GtkEdit.SpinButton.cast (Glade.get_widget_msg ~name:"dispsize_spinbutton" ~info:"GtkSpinButton" xmldata))