Module Keyboard_event_handler.Command
type t
=
{
keys : Keystroke.t list;
description : string;
group : Grouped_help_text.Group_name.t option;
handler : Handler.t;
}
val get_help_text : t -> Help_text.Command.t
Keyboard_event_handler.Command
type t
=
{
keys : Keystroke.t list; |
description : string; |
group : Grouped_help_text.Group_name.t option; |
handler : Handler.t; |
}
val get_help_text : t -> Help_text.Command.t