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
Updates: Status: Fixed Labels: Component-GlamorousToolkit Milestone-5.0
Comment #1 on issue 1071 by tu...@tudorgirba.com: font size in playground http://code.google.com/p/moose-technology/issues/detail?id=1071
Fixed.