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 |
