UIManager (u.873df0a16e7c9749fc8c2d33fb7524e7.lablgtk3.3.1.5.doc.lablgtk3.GtkActionProps.UIManager)

val cast : 'a Gobject.obj -> Gtk.ui_manager Gobject.obj

module P : sig ... end

module S : sig ... end

val create : Gtk.ui_manager Gobject.param list -> Gtk.ui_manager Gobject.obj

val insert_action_group : 
  [> `uimanager ] Gobject.obj ->
  Gtk.action_group Gobject.obj ->
  int ->
  unit

val remove_action_group : 
  [> `uimanager ] Gobject.obj ->
  Gtk.action_group Gobject.obj ->
  unit

val get_action_groups : 
  [> `uimanager ] Gobject.obj ->
  Gtk.action_group Gobject.obj list

val get_accel_group : [> `uimanager ] Gobject.obj -> Gtk.accel_group

val get_widget : [> `uimanager ] Gobject.obj -> string -> Gtk.widget Gtk.obj

val get_toplevels : 
  [> `uimanager ] Gobject.obj ->
  GtkEnums.ui_manager_item_type list ->
  Gtk.widget Gtk.obj list

val get_action : 
  [> `uimanager ] Gobject.obj ->
  string ->
  Gtk.action Gobject.obj

val add_ui_from_string : [> `uimanager ] Gobject.obj -> string -> int

val add_ui_from_file : [> `uimanager ] Gobject.obj -> string -> int

val new_merge_id : [> `uimanager ] Gobject.obj -> int

val add_ui : 
  [> `uimanager ] Gobject.obj ->
  int ->
  path:string ->
  name:string ->
  action:string option ->
  GtkEnums.ui_manager_item_type ->
  top:bool ->
  unit

val remove_ui : [> `uimanager ] Gobject.obj -> int -> unit

val ensure_update : [> `uimanager ] Gobject.obj -> unit