FIX wxterm py-editor: on exec in shell, only save file if it has changes