diff options
| author | Hugo Herbelin | 2019-04-27 12:18:17 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-04-30 12:50:47 +0200 |
| commit | dda4e65e530bd0e4a3ada165fdc752e1a217da8b (patch) | |
| tree | 1fdf5842a31aa24050be4f8d6cfa5a58918a7796 /dev/doc/debugging.md | |
| parent | 714d745858b031e58c5d089799d017eb092543c0 (diff) | |
CoqIDE: Adding MacOS X support for Meta-based nano-PG keys.
In practice, most of Alt modified keys are used on MacOS X keyboards
for special characters and many Command modified keys are used for
MacOS standard actions.
So, we propose to use Ctrl-Command- as a prefix for the Meta-based
nano-PG shortcuts. E.g. Ctrl-Command-e would go the end of the
sentence.
Diffstat (limited to 'dev/doc/debugging.md')
0 files changed, 0 insertions, 0 deletions