I just tested this again. The left ALT key doesn't work, but the right ALT key does. So, maybe my analysis was wrong and there is a bug in our code.
I just tested this again. The left ALT key doesn't work, but the right ALT key does. So, maybe my analysis was wrong and there is a bug in our code.