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.
val ignored_keys : Tsdl.Sdl.keycode list refThe keys which are ignored when they are pressed alone.
type keyhit_state = (Tsdl.Sdl.keymod * Tsdl.Sdl.keycode) listval string_of_handler_trees : handler_tree list -> stringval pp_handler_trees : 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 : Format.formatter -> keyhit_state -> unit