@gtkdoc gtk GtkUIManager
val obj : 'a Gtk.objmethod as_ui_manager : Gtk.ui_manager Gtk.objmethod add_ui_from_file : string -> ui_idGlib.Markup.Error if the XML is invalid
Glib.GError if an error occurs while reading the file
method add_ui_from_string : string -> ui_idGlib.Markup.Error if the XML is invalid
Glib.GError if an error occurs while reading the file
Glib.Markup.Error if the XML is invalid
method connect : ui_manager_signalsmethod get_accel_group : Gtk.accel_groupmethod get_action : string -> actionNot_found if no widget exist at the given path
method get_action_groups : action_group listNot_found if no widget exist at the given path
method get_widget : string -> GObj.widgetNot_found if no widget exist at the given path
method get_toplevels : GtkEnums.ui_manager_item_type list -> GObj.widget listNot_found if no widget exist at the given path
method insert_action_group : action_group -> int -> unitmethod new_merge_id : unit -> ui_idmethod add_ui : ui_id ->
path:string ->
name:string ->
action:string option ->
GtkEnums.ui_manager_item_type ->
top:bool ->
unitmethod remove_action_group : action_group -> unitmethod remove_ui : ui_id -> unit