lablgtk3-extras 3.0 · OCaml Package

type modifier = Gdk.Tags.modifier

val set_default_modifiers : modifier list -> unit

val set_default_mask : modifier list -> unit

val add : 
  < connect : < destroy : callback:(unit -> unit) -> GtkSignal.id.. >
    ; event : GObj.event_ops
    ; get_oid : int.. > ->
  ?cond:(unit -> bool) ->
  ?mods:modifier list ->
  ?mask:modifier list ->
  Gdk.keysym ->
  (unit -> unit) ->
  unit

val add_list : 
  < connect : < destroy : callback:(unit -> unit) -> GtkSignal.id.. >
    ; event : GObj.event_ops
    ; get_oid : int.. > ->
  ?cond:(unit -> bool) ->
  ?mods:modifier list ->
  ?mask:modifier list ->
  Gdk.keysym list ->
  (unit -> unit) ->
  unit

val set : 
  < connect : < destroy : callback:(unit -> unit) -> GtkSignal.id.. >
    ; event : GObj.event_ops
    ; get_oid : int.. > ->
  ?cond:(unit -> bool) ->
  ?mods:modifier list ->
  ?mask:modifier list ->
  Gdk.keysym ->
  (unit -> unit) ->
  unit

val set_list : 
  < connect : < destroy : callback:(unit -> unit) -> GtkSignal.id.. >
    ; event : GObj.event_ops
    ; get_oid : int.. > ->
  ?cond:(unit -> bool) ->
  ?mods:modifier list ->
  ?mask:modifier list ->
  Gdk.keysym list ->
  (unit -> unit) ->
  unit

val remove_widget : 
  < connect : < destroy : callback:(unit -> unit) -> GtkSignal.id.. >
    ; event : GObj.event_ops
    ; get_oid : int.. > ->
  unit ->
  unit

type handler

type keyhit_spec

type keyhit_state = (modifier list * Gdk.keysym) list

val ignored_keys : Gdk.keysym list ref

type handler_tree_node =

| Handler of handler
| Node of handler_tree list

and handler_tree = {

mutable hst_spec : keyhit_spec;
mutable hst_v : handler_tree_node;

}

val set_handler_trees : 
  ?stop:(modifier list * Gdk.keysym) ->
  (unit -> handler_tree list) ->
  ?f_display_state:(after_handler:bool -> keyhit_state -> unit) ->
  < event : GObj.event_ops ; misc : GObj.misc_ops.. > ->
  unit

val handler : ?cond:(unit -> bool) -> (unit -> unit) -> handler

val keyhit_spec : 
  ?mods:modifier list ->
  ?mask:modifier list ->
  Gdk.keysym ->
  keyhit_spec

val handler_tree : 
  ?mods:modifier list ->
  ?mask:modifier list ->
  Gdk.keysym ->
  handler_tree_node ->
  handler_tree

val reset_state : < misc : GObj.misc_ops.. > -> unit

val trees_of_list : (keyhit_state * (unit -> unit)) list -> handler_tree list

package lablgtk3-extras