View Single Post
Font size issue
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:


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