sig
val cast : 'a Gobject.obj -> Gtk.ui_manager Gobject.obj
module P :
sig
val add_tearoffs : ([> `uimanager ], bool) Gobject.property
val ui : ([> `uimanager ], string) Gobject.property
end
module S :
sig
val actions_changed : ([> `uimanager ], unit -> unit) GtkSignal.t
val add_widget :
([> `uimanager ], Gtk.widget Gobject.obj -> unit) GtkSignal.t
val connect_proxy :
([> `uimanager ],
Gtk.action Gobject.obj -> Gtk.widget Gobject.obj -> unit)
GtkSignal.t
val disconnect_proxy :
([> `uimanager ],
Gtk.action Gobject.obj -> Gtk.widget Gobject.obj -> unit)
GtkSignal.t
val post_activate :
([> `uimanager ], Gtk.action Gobject.obj -> unit) GtkSignal.t
val pre_activate :
([> `uimanager ], Gtk.action Gobject.obj -> unit) GtkSignal.t
end
val create :
Gtk.ui_manager Gobject.param list -> Gtk.ui_manager Gobject.obj
external insert_action_group :
[> `uimanager ] Gobject.obj ->
Gtk.action_group Gobject.obj -> int -> unit
= "ml_gtk_ui_manager_insert_action_group"
external remove_action_group :
[> `uimanager ] Gobject.obj -> Gtk.action_group Gobject.obj -> unit
= "ml_gtk_ui_manager_remove_action_group"
external get_action_groups :
[> `uimanager ] Gobject.obj -> Gtk.action_group Gobject.obj list
= "ml_gtk_ui_manager_get_action_groups"
external get_accel_group : [> `uimanager ] Gobject.obj -> Gtk.accel_group
= "ml_gtk_ui_manager_get_accel_group"
external get_widget :
[> `uimanager ] Gobject.obj -> string -> Gtk.widget Gtk.obj
= "ml_gtk_ui_manager_get_widget"
external get_toplevels :
[> `uimanager ] Gobject.obj ->
GtkEnums.ui_manager_item_type list -> Gtk.widget Gtk.obj list
= "ml_gtk_ui_manager_get_toplevels"
external get_action :
[> `uimanager ] Gobject.obj -> string -> Gtk.action Gobject.obj
= "ml_gtk_ui_manager_get_action"
external add_ui_from_string : [> `uimanager ] Gobject.obj -> string -> int
= "ml_gtk_ui_manager_add_ui_from_string"
external add_ui_from_file : [> `uimanager ] Gobject.obj -> string -> int
= "ml_gtk_ui_manager_add_ui_from_file"
external new_merge_id : [> `uimanager ] Gobject.obj -> int
= "ml_gtk_ui_manager_new_merge_id"
external add_ui :
[> `uimanager ] Gobject.obj ->
int ->
path:string ->
name:string ->
action:string option -> GtkEnums.ui_manager_item_type -> top:bool -> unit
= "ml_gtk_ui_manager_add_ui_bc" "ml_gtk_ui_manager_add_ui"
external remove_ui : [> `uimanager ] Gobject.obj -> int -> unit
= "ml_gtk_ui_manager_remove_ui"
external ensure_update : [> `uimanager ] Gobject.obj -> unit
= "ml_gtk_ui_manager_ensure_update"
end