chiark / gitweb /
gui: add X2 to keys, since otherwise you can sometimes get MovFeatTooLate annoyingly