other_opts_combo =
      new GEdit.combo (GtkEdit.Combo.cast
        (Glade.get_widget_msg ~name:"other_opts_combo" ~info:"GtkCombo" xmldata))