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