- if (configProperties.containsKey("beautify")) {
- beautify = Boolean.valueOf(configProperties.getProperty("beautify"));
+ if (configProperties.containsKey("antialias")) {
+ antialias = Boolean.valueOf(configProperties.getProperty("antialias"));
+ }
+ if (configProperties.containsKey("controlFont")) {
+ controlFont = configProperties.getProperty("controlFont");
+ }
+ if (configProperties.containsKey("userFont")) {
+ userFont = configProperties.getProperty("userFont");
+ }
+ if (configProperties.containsKey("language")) {
+ I18n.setLocale(new Locale(configProperties.getProperty("language")));