GLab/ToMaTo — pull request #539 by t-gerhard (2014-02-11 11:24:36+00:00)
Title: made some internet buttons in the editor small

Closes #515