Reloading editor when session ends

fixes #426