GLab/ToMaTo — pull request #376 by dswd (2014-01-09 12:54:17+00:00)
Title: Some design fixes for the editor

closes #374