Thanks for the reply! Maybe as a quick fix until that’s ready could you add some way to just turn off all keyboard shortcuts (except media keys) for us programmers who are the only ones who seem to use random-ass key-presses 200 times a day? 
2 Likes
