Re: W32 GUI: Ctrl+- produces ^- and not ^_ any more (was: Control keys not working)

2022-07-30 Thread Salman Halim
On Sat, Jul 30, 2022 at 11:18 AM Anton Sharonov wrote: > That makes sense now, thanks for clarification. > > Ctrl+something still works, just this specific case (Ctrl+-) is > stopped to work. I created an issue on the tracker to capture it, > feel free to add more details: > > https://github.com/

Re: W32 GUI: Ctrl+- produces ^- and not ^_ any more (was: Control keys not working)

2022-07-30 Thread Anton Sharonov
On Sat, Jul 30, 2022 at 10:40:12AM -0400, Salman Halim wrote: > 0D works with NONE, but ctrl-_ does not. I'm using a US QWERTY layout. I'm > not sure if my 8.2 is older than 4803, but things work on there. That makes sense now, thanks for clarification. Ctrl+something still works, just this speci