XuhengLi

Expected behavior when proof-multiple-frames-enable set to t

10

Hi, I wonder what is the expected behavior when proof-multiple-frames-enable is set to t. I'm using PG on macOS and spacemacs. I was expecting that at least the `*goals*` buffer...

Hi, I wonder if it's possible to support the dynamic toggling of NKRO. This is an important feature for multi-language macOS users because macOS has problems handling `CAPS` when NKRO...