\r
frame = new JInternalFrame();\r
frame.setContentPane(this);\r
- Desktop.addInternalFrame(frame, "Preferences", 480, 390);\r
- frame.setMinimumSize(new Dimension(480,390));\r
+ Desktop.addInternalFrame(frame, "Preferences", 480, 395);\r
+ frame.setMinimumSize(new Dimension(480,395));\r
\r
seqLimit.setSelected( Cache.getDefault("SHOW_JVSUFFIX", true));\r
fullScreen.setSelected( Cache.getDefault("SHOW_FULLSCREEN", false));\r
fontSizeCB.setSelectedItem(Cache.getDefault("FONT_SIZE", "10"));\r
fontStyleCB.setSelectedItem(Cache.getDefault("FONT_STYLE", Font.PLAIN + "") );\r
\r
+ smoothFont.setSelected(Cache.getDefault("ANTI_ALIAS", false));\r
+\r
gapSymbolCB.addItem("-");\r
gapSymbolCB.addItem(".");\r
\r
Cache.applicationProperties.setProperty("FONT_STYLE", fontStyleCB.getSelectedItem().toString());\r
Cache.applicationProperties.setProperty("FONT_SIZE", fontSizeCB.getSelectedItem().toString());\r
\r
+ Cache.applicationProperties.setProperty("ANTI_ALIAS", Boolean.toString(smoothFont.isSelected()));\r
+\r
Cache.applicationProperties.setProperty("STARTUP_FILE", startupFileTextfield.getText());\r
Cache.applicationProperties.setProperty("SHOW_STARTUP_FILE", Boolean.toString(startupCheckbox.isSelected()));\r
\r