diff options
| author | Federico Igne <undyamon@disroot.org> | 2024-01-23 18:11:22 +0100 |
|---|---|---|
| committer | Federico Igne <undyamon@disroot.org> | 2024-01-23 18:11:22 +0100 |
| commit | 5c3864986f844a31e0b6dbeec48543dc6376cff6 (patch) | |
| tree | a6758e873c3a99d95e214b2fc989bc3d63d119fb /lib/key.ml | |
| parent | 482e8b80fa66e328e252567c915f5e96e727f7cf (diff) | |
| download | sandy-5c3864986f844a31e0b6dbeec48543dc6376cff6.tar.gz sandy-5c3864986f844a31e0b6dbeec48543dc6376cff6.zip | |
feat: add partial chords to statusbar
Diffstat (limited to 'lib/key.ml')
| -rw-r--r-- | lib/key.ml | 19 |
1 files changed, 19 insertions, 0 deletions
| @@ -32,6 +32,25 @@ let of_char = function | |||
| 32 | | c when Char.(c < ' ') -> Char.to_int c + 64 |> Char.of_int_exn |> ctrl | 32 | | c when Char.(c < ' ') -> Char.to_int c + 64 |> Char.of_int_exn |> ctrl |
| 33 | | c -> Key c | 33 | | c -> Key c |
| 34 | 34 | ||
| 35 | let to_string = function | ||
| 36 | | Arrow_down -> "<down>" | ||
| 37 | | Arrow_left -> "<left>" | ||
| 38 | | Arrow_right -> "<right>" | ||
| 39 | | Arrow_up -> "<up>" | ||
| 40 | | Backspace -> "<backspace>" | ||
| 41 | | Ctrl c -> Printf.sprintf "<c-%c>" c | ||
| 42 | | Delete -> "<delete>" | ||
| 43 | | End -> "<end>" | ||
| 44 | | Enter -> "<cr>" | ||
| 45 | | Esc -> "<esc>" | ||
| 46 | | Home -> "<home>" | ||
| 47 | | Key ' ' -> "<space>" | ||
| 48 | | Key c -> String.of_char c | ||
| 49 | | Nul -> "<nil>" | ||
| 50 | | Page_down -> "<pgdown>" | ||
| 51 | | Page_up -> "<pgup>" | ||
| 52 | | Tab -> "<tab>" | ||
| 53 | |||
| 35 | let stream = | 54 | let stream = |
| 36 | let step s c = | 55 | let step s c = |
| 37 | let open Sequence.Step in | 56 | let open Sequence.Step in |
