diff options
Diffstat (limited to 'ide/nanoPG.ml')
| -rw-r--r-- | ide/nanoPG.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/nanoPG.ml b/ide/nanoPG.ml index de386e4ccf..89bf07ce23 100644 --- a/ide/nanoPG.ml +++ b/ide/nanoPG.ml @@ -73,8 +73,8 @@ let mod_of t x = List.for_all (fun m -> List.mem m x) y let pr_keymod l = - if l = mC then "C-" - else if l = mM then "M-" + if l = mC then "Ctrl-" + else if l = mM then "Meta-" else "" let mkE ?(mods=mC) key keyname doc ?(alias=[]) contents = |