class ui_manager_signals : [> Gtk.ui_manager ] Gtk.obj ->
object
.. end
val after : bool
val obj : ([> Gtk.ui_manager ] as 'b) Gtk.obj
method after : < actions_changed : callback:(unit -> unit) -> GtkSignal.id;
add_widget : callback:(GObj.widget -> unit) -> GtkSignal.id; after : 'a;
connect_proxy : callback:(action -> GObj.widget -> unit) ->
GtkSignal.id;
disconnect_proxy : callback:(action -> GObj.widget -> unit) ->
GtkSignal.id;
notify_add_tearoffs : callback:(bool -> unit) -> GtkSignal.id;
notify_ui : callback:(string -> unit) -> GtkSignal.id;
post_activate : callback:(action -> unit) -> GtkSignal.id;
pre_activate : callback:(action -> unit) -> GtkSignal.id; .. >
as 'a
method actions_changed : callback:(unit -> unit) -> GtkSignal.id
method add_widget : callback:(GObj.widget -> unit) -> GtkSignal.id
method connect_proxy : callback:(action -> GObj.widget -> unit) -> GtkSignal.id
method disconnect_proxy : callback:(action -> GObj.widget -> unit) -> GtkSignal.id
method post_activate : callback:(action -> unit) -> GtkSignal.id
method pre_activate : callback:(action -> unit) -> GtkSignal.id
method notify_add_tearoffs : callback:(bool -> unit) -> GtkSignal.id
method notify_ui : callback:(string -> unit) -> GtkSignal.id