editor: ensure app is closed when all editors are closed
editor: ensure app is closed when all editors are closed

war2/war2edit,war2/war2edit,jeanguyomarch/war2edit,war2/war2edit,jeanguyomarch/war2edit,jeanguyomarch/war2edit