Adolfo Jayme Barrientos 29be78c402 Fix my brainfart and label Mac’s Control key differently ...

The previous string looked like a mistake to me, but I indeed forgot
that Macs do have a key which is labeled in menus as “⌃”.
Since then I’ve learned that, internationally, Mac’s Control and Windows’
Ctrl do not always correspond, so it’s best to separate both with a switch
as it was done before.

Change-Id: Ib88beab7218ef00c9cce5ad34aa02205de786d01

2017-04-24 03:56:45 -05:00

..

01010000.xhp

Fix my brainfart and label Mac’s Control key differently

2017-04-24 03:56:45 -05:00

01020000.xhp

re-base on ALv2 code. Includes:

2012-12-13 13:02:02 +00:00