Convenient functions to handle key press events in widgets.
val add :
Widget.widget ->
?cond:(unit -> bool) ->
Key.keystate ->
(unit -> unit) ->
unitadd 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.
val add_list :
Widget.widget ->
?cond:(unit -> bool) ->
Key.keystate list ->
(unit -> unit) ->
unitadd_list widget ?cond list callback calls add widget ?cond ks callback for each keystate ks of the given list.
val set :
Widget.widget ->
?cond:(unit -> bool) ->
Key.keystate ->
(unit -> unit) ->
unitLike add but the previous handlers for the given keystate are not kept.
val set_list :
Widget.widget ->
?cond:(unit -> bool) ->
Key.keystate list ->
(unit -> unit) ->
unitset_list widget ?cond list callback calls set widget ?cond ks callback for each keystate ks of the given list.
The keys which are ignored when they are pressed alone.
val string_of_handler_trees : handler_tree list -> stringval pp_handler_trees : Stdlib.Format.formatter -> handler_tree list -> unitval reset_state : Widget.widget -> unitval set_handler_trees :
?stop:Key.keystate ->
(unit -> handler_tree list) ->
?display_state:(after_handler:bool -> keyhit_state -> unit) ->
Widget.widget ->
unitval handler : ?cond:(unit -> bool) -> (unit -> unit) -> handlerval handler_tree : Key.keystate -> handler_tree_node -> handler_treeval trees_of_list :
(Key.keystate list * (unit -> unit)) list ->
handler_tree listval string_of_keyhit_state : keyhit_state -> stringval pp_keyhit_state : Stdlib.Format.formatter -> keyhit_state -> unit