GLab/ToMaTo — pull request #690 by t-gerhard (2014-04-08 12:39:58+00:00)
Title: fixed scrollbar in editor

closes #678