There should be a menu option to allow the user to change the font size. Also add a command-line property (ex. -DfontSize=12) that sets the font size so it isn't required to use the menu.
Log in to post a comment.
