Fix the GUI window margins.
Behave more nicely with autorepeat.