GLab/ToMaTo — pull request #432 by dswd (2014-01-17 14:23:24+00:00)
Title: Reloading editor when session ends

fixes #426