class ui_manager :Since GTK 2.4[> Gtk.ui_manager ] Gtk.obj ->object..end
val obj : ([> Gtk.ui_manager ] as 'a) Gtk.objmethod as_ui_manager : Gtk.ui_manager Gtk.objmethod add_tearoffs : boolmethod add_ui_from_file : string -> ui_idGlib.Markup.Error if the XML is invalidGlib.GError if an error occurs while reading the filemethod add_ui_from_string : string -> ui_idGlib.Markup.Error if the XML is invalidmethod connect : ui_manager_signalsmethod ensure_update : unit -> unitmethod get_accel_group : Gtk.accel_groupmethod get_action : string -> actionNot_found if no widget exist at the given pathmethod get_action_groups : action_group listmethod get_widget : string -> GObj.widgetNot_found if no widget exist at the given pathmethod get_toplevels : GtkEnums.ui_manager_item_type list -> GObj.widget listmethod 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 -> unitmethod set_add_tearoffs : bool -> unitmethod ui : string