Ticket #3557: mcedit should not be closed on Ctrl-G.