Steps to reproduce: 1. Open the HTML5 client 2. Press the Ctrl (or Alt) button in the toolbar and then press and release the Ctrl button on your normal keyboard. 3. The UI will now show that Ctrl is pressed while it in fact isn't.