module GAction: sig
.. end
Action-based menus and toolbars
GtkAction
class action_signals : [> Gtk.action ] Gobject.obj ->
object
.. end
class action_skel : [> Gtk.action ] Gobject.obj ->
object
.. end
class action : [> Gtk.action ] Gobject.obj ->
object
.. end
val action : name:string -> unit -> action
class toggle_action_signals : [> Gtk.toggle_action ] Gobject.obj ->
object
.. end
class toggle_action_skel : [> Gtk.toggle_action ] Gobject.obj ->
object
.. end
class toggle_action : [> Gtk.toggle_action ] Gobject.obj ->
object
.. end
val toggle_action : name:string -> unit -> toggle_action
class radio_action_signals : [> Gtk.radio_action ] Gobject.obj ->
object
.. end
class radio_action : [> Gtk.radio_action ] Gobject.obj ->
object
.. end
val radio_action : ?group:radio_action ->
name:string -> value:int -> unit -> radio_action
GtkActionGroup
class action_group_signals : [> Gtk.action_group ] Gobject.obj ->
object
.. end
class action_group : [> Gtk.action_group ] Gobject.obj ->
object
.. end
val action_group : name:string -> unit -> action_group
type 'a
entry = action_group -> 'a
val add_action : string ->
?callback:(action -> unit) ->
?stock:GtkStock.id ->
?label:string -> ?accel:string -> ?tooltip:string -> unit entry
val add_toggle_action : string ->
?active:bool ->
?callback:(toggle_action -> unit) ->
?stock:GtkStock.id ->
?label:string -> ?accel:string -> ?tooltip:string -> unit entry
val add_radio_action : string ->
int ->
?stock:GtkStock.id ->
?label:string ->
?accel:string -> ?tooltip:string -> radio_action entry
val group_radio_actions : ?init_value:int ->
?callback:(int -> unit) ->
radio_action entry list -> unit entry
val add_actions : action_group -> unit entry list -> unit
GtkUIManager
class ui_manager_signals : [> Gtk.ui_manager ] Gtk.obj ->
object
.. end
type
ui_id
val invalid_id : ui_id
class ui_manager : [> Gtk.ui_manager ] Gtk.obj ->
object
.. end
val ui_manager : unit -> ui_manager