Issue 1071 in moose-technology: font size in playground

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

New issue 1071 by [hidden email]: 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

--
You received this message because this project is configured to send all  
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev

Updates:
        Status: Fixed
        Labels: Component-GlamorousToolkit Milestone-5.0

Comment #1 on issue 1071 by [hidden email]: font size in playground
http://code.google.com/p/moose-technology/issues/detail?id=1071

Fixed.

--
You received this message because this project is configured to send all  
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev