search

plfa / plfa.github.io

An introduction to programming language theory in Agda
https://plfa.github.io
Creative Commons Attribution 4.0 International
1.36k stars 307 forks source link

Add warning about `C-space` on Mac #988

Open KevinDCarlson opened 5 months ago

KevinDCarlson commented 5 months ago

Modern OS X seems to reserve C-space for toggling keyboard encodings. The VS Code plugin suggests C-c C-r as usually a reasonable replacement for C-c C-space, so I've suggested adding the same tip. I don't know enough about C-c C-r to know whether this is dangerous advice or needs more expansion, or whether it's worth trying to understand how to override the system's control of C-space entirely.

KevinDCarlson commented 5 months ago

Yes, that seems fine. I’m confused about who exactly this affects as one reading of this post is that it ought to affect everyone. Possibly that was briefly true and now it only affects people with multiple keyboards enabled. In fact given that it doesn’t affect all Macs maybe this is fine to just let people Google. https://www.reddit.com/r/MacOSBeta/s/PhcqVbBc2f