Can anyone confirm that the zoom in shortcut
Ctrl + + actually works in coqide? I haven't been able to get it to work and I am wondering if it is something on my end.
Doesn't work for me on Mac either. The menu function works, though.
It works for me, but I have to hold the
Shift key in addition since + is a shifted character on my US-style keyboard
It is working!
Thanks @Jim Fehrle
It's strange that the keyboard locale isn't taken into account
Last updated: Aug 11 2022 at 01:03 UTC