search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
228 stars 36 forks source link

Add support for Cmd key on Mac #21

Closed jadephilipoom closed 3 years ago

jadephilipoom commented 3 years ago

Previously, neither the control key nor the Cmd key worked to step through Alectryon proofs on Mac. This change adds e.metaKey to pick up the Cmd key on Mac, and adds a line to the instructions telling Mac users to use Cmd.

cpitclaudel commented 3 years ago

Thanks a lot! I don't know how to rebase from GitHub's UI without losing authorship information, so I rebased and pushed on my machine: https://github.com/cpitclaudel/alectryon/commit/c7ee51ce16d126f3158bf483dd6c6f5179e804c7 has proper credit

I hope I wasn't wrong to replace Cmd with ⌘!