other_opts_combo_list =
      new GList.liste (GtkList.Liste.cast
        (Glade.get_widget_msg ~name:"other_opts_combo-list" ~info:"GtkList" xmldata))