Wkey (u.e9e370196eef811f642f354b1c9389d8.stk.0.1.0.doc.stk.Stk.Wkey)

Setting handlers for simple key press events.

val add : 
  Widget.widget ->
  ?cond:(unit -> bool) ->
  Key.keystate ->
  (unit -> unit) ->
  unit

add widget keystate callback associates the callback function to the event "key_press" with the given keystate for the given widget.

The optional parameter conf is a guard: the callback function is not called if the cond function returns false. The default cond function always returns true.

Source

val add_list : 
  Widget.widget ->
  ?cond:(unit -> bool) ->
  Key.keystate list ->
  (unit -> unit) ->
  unit

add_list widget ?cond list callback calls add widget ?cond ks callback for each keystate ks of the given list.

Source

val set : 
  Widget.widget ->
  ?cond:(unit -> bool) ->
  Key.keystate ->
  (unit -> unit) ->
  unit

Like add but the previous handlers for the given keystate are not kept.

Source

val set_list : 
  Widget.widget ->
  ?cond:(unit -> bool) ->
  Key.keystate list ->
  (unit -> unit) ->
  unit

set_list widget ?cond list callback calls set widget ?cond ks callback for each keystate ks of the given list.

Setting handlers for combination of key press events, a la emacs

Sourcetype handler

Sourceval ignored_keys : Tsdl.Sdl.keycode list ref

The keys which are ignored when they are pressed alone.

Sourcetype keyhit_state = (Tsdl.Sdl.keymod * Tsdl.Sdl.keycode) list

Sourcetype handler_tree_node =

| Handler of handler
| Node of handler_tree list

Sourceand handler_tree = {

mutable hst_spec : Key.keystate;
mutable hst_v : handler_tree_node;

}

Sourceval string_of_handler_trees : handler_tree list -> string

Sourceval pp_handler_trees : Format.formatter -> handler_tree list -> unit

Sourceval reset_state : Widget.widget -> unit

Source

val set_handler_trees : 
  ?stop:Key.keystate ->
  (unit -> handler_tree list) ->
  ?display_state:(after_handler:bool -> keyhit_state -> unit) ->
  Widget.widget ->
  unit

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

Sourceval handler_tree : Key.keystate -> handler_tree_node -> handler_tree

Source

val trees_of_list : 
  (Key.keystate list * (unit -> unit)) list ->
  handler_tree list

Sourceval string_of_keyhit_state : keyhit_state -> string

Sourceval pp_keyhit_state : Format.formatter -> keyhit_state -> unit