diff options
Diffstat (limited to 'lib/key.ml')
-rw-r--r-- | lib/key.ml | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -16,6 +16,7 @@ type key = | |||
16 | | Nul | 16 | | Nul |
17 | | Page_down | 17 | | Page_down |
18 | | Page_up | 18 | | Page_up |
19 | | Tab | ||
19 | 20 | ||
20 | type t = key | 21 | type t = key |
21 | 22 | ||
@@ -24,6 +25,7 @@ let key c = Key c | |||
24 | 25 | ||
25 | let of_char = function | 26 | let of_char = function |
26 | | '\000' -> Nul | 27 | | '\000' -> Nul |
28 | | '\009' -> Tab | ||
27 | | '\013' -> Enter | 29 | | '\013' -> Enter |
28 | | '\027' -> Esc | 30 | | '\027' -> Esc |
29 | | '\127' -> Backspace | 31 | | '\127' -> Backspace |