git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
c24071f
)
Smooth fonts added
author
amwaterhouse
<Andrew Waterhouse>
Mon, 30 Jan 2006 14:57:06 +0000
(14:57 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Mon, 30 Jan 2006 14:57:06 +0000
(14:57 +0000)
src/jalview/gui/Preferences.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Preferences.java
b/src/jalview/gui/Preferences.java
index
2243a3d
..
81acb7c
100755
(executable)
--- a/
src/jalview/gui/Preferences.java
+++ b/
src/jalview/gui/Preferences.java
@@
-121,6
+121,8
@@
public class Preferences extends GPreferences
fontSizeCB.setSelectedItem(Cache.getDefault("FONT_SIZE", "10"));
\r
fontStyleCB.setSelectedItem(Cache.getDefault("FONT_STYLE", Font.PLAIN + "") );
\r
\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
gapSymbolCB.addItem("-");
\r
gapSymbolCB.addItem(".");
\r
\r
@@
-204,6
+206,8
@@
public class Preferences extends GPreferences
Cache.applicationProperties.setProperty("FONT_STYLE", fontStyleCB.getSelectedItem().toString());
\r
Cache.applicationProperties.setProperty("FONT_SIZE", fontSizeCB.getSelectedItem().toString());
\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
Cache.applicationProperties.setProperty("STARTUP_FILE", startupFileTextfield.getText());
\r
Cache.applicationProperties.setProperty("SHOW_STARTUP_FILE", Boolean.toString(startupCheckbox.isSelected()));
\r
\r