// CONFIGURATION
//
- /** Whether to beautify the GUI. */
- private boolean beautify;
+ /** Whether to antialias the GUI. */
+ private boolean antialias;
/** The control font. */
private String controlFont;
this.configDirectory = configDirectory;
I18n.setLocale(Locale.ENGLISH);
loadConfig();
- if (beautify) {
+ if (antialias) {
System.setProperty("swing.aatext", "true");
- if (controlFont != null) {
- System.setProperty("swing.plaf.metal.controlFont", controlFont);
- }
- if (userFont != null) {
- System.setProperty("swing.plaf.metal.userFont", userFont);
- }
+ }
+ if (controlFont != null) {
+ System.setProperty("swing.plaf.metal.controlFont", controlFont);
+ }
+ if (userFont != null) {
+ System.setProperty("swing.plaf.metal.userFont", userFont);
}
initActions();
initDialogs();
*/
private void loadConfig() {
/* initialize default stuff. */
- beautify = false;
+ antialias = false;
/* now read config. */
File configFile = new File(configDirectory, "swing-interface.properties");
if (!configFile.exists() || !configFile.canRead() || !configFile.isFile()) {
} finally {
Closer.close(configInputStream);
}
- 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");
}
File configFile = new File(configDirectory, "swing-interface.properties");
Properties configProperties = new Properties();
- configProperties.setProperty("beautify", String.valueOf(beautify));
+ configProperties.setProperty("antialias", String.valueOf(antialias));
if (controlFont != null) {
configProperties.setProperty("controlFont", controlFont);
}
* Shows the configuration dialog.
*/
private void configure() {
- configurationDialog.setBeautify(beautify);
+ configurationDialog.setAntialias(antialias);
configurationDialog.setControlFont(controlFont);
configurationDialog.setUserFont(userFont);
configurationDialog.setVisible(true);
if (!configurationDialog.wasCancelled()) {
- beautify = configurationDialog.getBeautify();
+ antialias = configurationDialog.isAntialias();
controlFont = configurationDialog.getControlFont();
userFont = configurationDialog.getUserFont();
saveConfig();