Ability to change font size

Description

Some users have requested the ability to change the font family and font size in the main grid. This would be particularly helpful on languages that use intricate scripts such as Asian and middle-eastern.

I think a workaround is to specify a user font on the command line:

java -Dswing.plaf.metal.userFont="Tahoma 18" -jar target/Ocelot-1.2-SNAPSHOT.jar

but it is not user friendly at all.

Environment

None

Assignee

Phil Ritchie

Reporter

Phil Ritchie

Labels

None

Components

Priority

Minor
Configure