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.