Module Ed_keymaps (.ml)

module Ed_keymaps: sig .. end

Convenient function for keymaps.

val string_of_mod_key : Gdk.Tags.modifier list * int -> string

Return a string representing the given key hit.

val string_of_state : (Gdk.Tags.modifier list * int) list -> string

Return a string representing the given key hit state.

val latex_of_key_bindings : (Okey.keyhit_state * string) list -> string

Return LaTeX code to display a list of key bindings.