man GAction.ui_manager_signals () - no description
NAME
GAction.ui_manager_signals - no description
Class
Class GAction.ui_manager_signals
Documentation
class ui_manager_signals : [> Gtk.ui_manager ] Gtk.obj -> object end
Since GTK 2.4
Parameters:
- ""
([> Gtk.ui_manager ] as 'a) Gtk.obj
val after : bool
val obj : 'a Gtk.obj
method after : < actions_changed : callback:(unit -> unit) -> GtkSignal.id; add_widget : callback:(GObj.widget -> unit) -> GtkSignal.id; after : 'b; connect_proxy : callback:(GAction.action -> GObj.widget -> unit) -> GtkSignal.id; disconnect_proxy : callback:(GAction.action -> GObj.widget -> unit) -> GtkSignal.id; post_activate : callback:(GAction.action -> unit) -> GtkSignal.id; pre_activate : callback:(GAction.action -> unit) -> GtkSignal.id; .. > as 'b
method actions_changed : callback:(unit -> unit) -> GtkSignal.id
method add_widget : callback:(GObj.widget -> unit) -> GtkSignal.id
method connect_proxy : callback:(GAction.action -> GObj.widget -> unit) -> GtkSignal.id
method disconnect_proxy : callback:(GAction.action -> GObj.widget -> unit) -> GtkSignal.id
method post_activate : callback:(GAction.action -> unit) -> GtkSignal.id
method pre_activate : callback:(GAction.action -> unit) -> GtkSignal.id