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: Mar 28 2024 at 12:01 UTC