From 714d745858b031e58c5d089799d017eb092543c0 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 27 Apr 2019 12:43:35 +0200
Subject: 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-.
---
 ide/nanoPG.ml | 4 ++--
 1 file 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 =
-- 
cgit v1.2.3