Variable_handler_command
and Variable_handler_action
provide a way of representing
commands whose keys, description and group are constant, but whose handler varies with
the 'env
variable.
This is useful because it provides a way of generating help text for these commands
that does not depend on or vary with the 'env
variable.
type 'env t
=
{
keys : Incr_dom_widgets.Keystroke.t list; |
description : string; |
group : Incr_dom_widgets.Grouped_help_text.Group_name.t option; |
handler : 'env ‑> Incr_dom_widgets.Keyboard_event_handler.Handler.t; |
}
val get_help_text : _ t ‑> Incr_dom_widgets.Help_text.Command.t