gl_play_handle_xevents() thought it could hide

... but it was wrong.