OK, I get it now Thanks for trying to find a fix.

I've finally been able to resolve this by installing the "English (United States)" keyboard option in Control Panel, even without actually using the US keyboard setting for anything. i.e. I can still quite happily type £ characters in PhpED, and the ", # and ~ characters are working fine, but ctrl+/ has become available again.

The "Installed services" section of Text Services and Input Languages on my machine now reads:


So it seems that this bug only occurs when "English (United States)" is not installed as a keyboard option at all, which is likely why you guys have been unable to reproduce it.

It would still be nice if this could be fixed, of course, but it looks like we at least have a usable workaround now