Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-31 12:23:23 +08:00
Code Issues Actions 26 Packages Projects Releases Wiki Activity

[shortkey] fix key parsing

Browse Source
This commit is contained in:
Gautier Hattenberger
2014-03-22 10:25:37 +01:00
parent bda3b830c4
commit df76b29943
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/pprz.ml
+1 -1
View File
@@ -242,7 +242,7 @@ let alt_unit_coef_of_xml = fun ?auto xml ->
coef
let key_modifiers_of_string = fun key ->
let key_split = Str.split (Str.regexp "[A-Za-z]+\\+") key in
let key_split = Str.split (Str.regexp "\\+") key in
let keys = List.map (fun k ->
match k with
| "Ctrl" -> "<Control>"