Editor robustness improved + save & quit added