F5 Key randomly doesn't work
|Reported by:||SF/isaac_a_steiner||Owned by:||fingolfin|
Similar to another bug report, the F5 key (and the ESC key) does not work. Randomly, not reproduceable. I'm using 0.9.0 CVS (nov. 6th), on Win XP
Ticket imported from: #1351865. Ticket imported from: bugs/2351.