FIX wxterm: shell window closing behavior