From 10a851d3561e23a3cbf113aed75557201b093dce Mon Sep 17 00:00:00 2001 From: malc Date: Thu, 1 Dec 2016 02:29:29 +0300 Subject: [PATCH] Cosmetics --- wsi.ml | 61 ++++++++++++++++++++++++++++++------------------------------- 1 file changed, 30 insertions(+), 31 deletions(-) diff --git a/wsi.ml b/wsi.ml index 5ab140c..95c2560 100644 --- a/wsi.ml +++ b/wsi.ml @@ -1319,38 +1319,37 @@ let isspecialkey key = || key land 0xfd00 = 0xfd00 (* 3270 *) ;; -let kc2pv code = let open Keys in +let kc2pv code = + let open Keys in if code > 31 && code < 128 then Ascii (Char.chr code) else - if code >= 0xffbe && code <= 0xffc6 - then Fn (code - 0xffbe + 1) - else - match code with - | 0xff08 -> Backspace - | 0xff9f -> Delete - | 0xff54 -> Down - | 0xff0d -> Enter - | 0xff1b -> Escape - | 0xff50 -> Home - | 0xff63 -> Insert - | 0xff57 -> End - | 0xffff -> KPdelete - | 0xff99 -> KPdown - | 0xff9c -> KPend - | 0xff8d -> KPenter - | 0xff95 -> KPhome - | 0xff96 -> KPleft - | 0xffad -> KPminus - | 0xff9b -> KPnext - | 0xffab -> KPplus - | 0xff9a -> KPprior - | 0xff98 -> KPright - | 0xff97 -> KPup - | 0xff51 -> Left - | 0xff56 -> Next - | 0xff55 -> Prior - | 0xff53 -> Right - | 0xff52 -> Up - | code -> Code code + match code with + | 0xff08 -> Backspace + | 0xff9f -> Delete + | 0xff54 -> Down + | 0xff0d -> Enter + | 0xff1b -> Escape + | 0xff50 -> Home + | 0xff63 -> Insert + | 0xff57 -> End + | 0xffff -> KPdelete + | 0xff99 -> KPdown + | 0xff9c -> KPend + | 0xff8d -> KPenter + | 0xff95 -> KPhome + | 0xff96 -> KPleft + | 0xffad -> KPminus + | 0xff9b -> KPnext + | 0xffab -> KPplus + | 0xff9a -> KPprior + | 0xff98 -> KPright + | 0xff97 -> KPup + | 0xff51 -> Left + | 0xff56 -> Next + | 0xff55 -> Prior + | 0xff53 -> Right + | 0xff52 -> Up + | code -> if code >= 0xffbe && code <= 0xffc6 + then Fn (code - 0xffbe + 1) else Code code ;; -- 2.11.4.GIT