Status: New Owner: ---- Labels: Type-Defect Priority-Medium

New issue 1071 by leo.per...@gmail.com: font size in playground http://code.google.com/p/moose-technology/issues/detail?id=1071

When I change the size of the source code font in the settings it does not have any impact in the playground on the last image (06/04/2014).

I'm on Ubuntu 13.10