diff options
| author | Hugo Herbelin | 2019-04-27 12:43:35 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-04-30 12:50:47 +0200 |
| commit | 714d745858b031e58c5d089799d017eb092543c0 (patch) | |
| tree | 6eb51f0d81d207d753ed665ac547aadb3371c3a8 /ide | |
| parent | a63ac0351d6feb3f3242649faccf88da6a34d5eb (diff) | |
NanoPG: expanding the notation C- and M- to Ctrl- and Meta-.
Not only will this be clearer but it prepares to describing action on
MacOS which shall use Cmd and which cannot be abbreviated w/o
introducing a confusion with the abbreviation C- of Control-.
Diffstat (limited to 'ide')
| -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 = |