Closed magnus-ISU closed 2 years ago
I'm working on this and while I have an issue at the moment it should be possible to finish in a day or two. One issue is that this will involve breaking behavior in that previously, the defaults matched both upper and lowercase keys. But if they are differentiated, the defaults would have to match one or the other (lowercase makes more sense). Is that a serious problem?
This would make it a lot easier to not conflict with website keybindings I think.