Processing GUI (full): better handling of key presses