|
Font size issue -
05-26-2014, 02:45 PM
We have checked in code that allows for command line font scaling via:
-Duimanager.fontScale=2.0
or whatever the user wants.
this will go out in our next release (hopefully this week).
Don Slater
Alice Team
Carnegie Mellon University
|