GLab/ToMaTo — pull request #415 by swuest (2014-01-16 10:30:54+00:00)
Title: Editor Design fixes

Closes #380