View Single Post
Font size issue
Old
djslater107
Administrator
 
Status: Offline
Posts: 147
Join Date: Jan 2007
Default Font size issue - 05-26-2014, 03: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
   
Reply With Quote