class action_signals : [> Gtk.action ] as 'a Gobject.obj -> object ... endclass action_skel : [> Gtk.action ] as 'b Gobject.obj -> object ... endclass action : [> Gtk.action ] as 'b Gobject.obj -> object ... endval action : name:string -> unit -> actionclass toggle_action_signals : [> Gtk.toggle_action ] as 'a Gobject.obj -> object ... endclass toggle_action_skel : [> Gtk.toggle_action ] as 'b Gobject.obj -> object ... endclass toggle_action : [> Gtk.toggle_action ] as 'b Gobject.obj -> object ... endval toggle_action : name:string -> unit -> toggle_actionclass radio_action_signals : [> Gtk.radio_action ] as 'a Gobject.obj -> object ... endclass radio_action : [> Gtk.radio_action ] as 'b Gobject.obj -> object ... endval radio_action :
?group:radio_action ->
name:string ->
value:int ->
unit ->
radio_actionclass action_group_signals : [> Gtk.action_group ] as 'a Gobject.obj -> object ... endclass action_group : [> Gtk.action_group ] as 'b Gobject.obj -> object ... endval action_group : name:string -> unit -> action_grouptype !'a entry = action_group -> 'aval add_action :
string ->
?callback:(action -> unit) ->
?stock:GtkStock.id ->
?label:string ->
?accel:string ->
?tooltip:string ->
unit entryval add_toggle_action :
string ->
?active:bool ->
?callback:(toggle_action -> unit) ->
?stock:GtkStock.id ->
?label:string ->
?accel:string ->
?tooltip:string ->
unit entryval add_radio_action :
string ->
int ->
?stock:GtkStock.id ->
?label:string ->
?accel:string ->
?tooltip:string ->
radio_action entryval group_radio_actions :
?init_value:int ->
?callback:(int -> unit) ->
radio_action entry list ->
unit entryval add_actions : action_group -> unit entry list -> unitclass ui_manager_signals : [> Gtk.ui_manager ] as 'a Gtk.obj -> object ... endval invalid_id : ui_idclass ui_manager : [> Gtk.ui_manager ] as 'b Gtk.obj -> object ... endval ui_manager : unit -> ui_manager