Stream: VsCoq devs & users

Topic: Mac key bindings

view this post on Zulip Bas Spitters (Aug 30 2021 at 13:23):

My students tell me that vscoq has windows key bindings on the mac.
I assume there is a standard fix for this. :-)

view this post on Zulip Bas Spitters (Aug 30 2021 at 13:25):

Incidentally, my 30 students are using Win/linux/Mac in equal shares, but the majority (80%) is using vscode.

Last updated: Apr 18 2024 at 19:02 UTC