X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FFontChooser.java;h=12493ebd2af3db8506e4c4eb3b5c3583045141c6;hb=b7fc886ae65afa1c41430e59ba1fcd3ff86adf4b;hp=0323b58bb2ffdbf5ba05841cb22c68c72f77c14c;hpb=153dd62dc91da13ae732600e6ea55ddbe15eab39;p=jalview.git diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java index 0323b58..12493eb 100755 --- a/src/jalview/gui/FontChooser.java +++ b/src/jalview/gui/FontChooser.java @@ -264,7 +264,7 @@ public class FontChooser extends GFontChooser Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString()); Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex() + ""); Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString()); - Cache.setProperty("ANTI_ALIAS", Boolean.toString(smoothFont - .isSelected())); + Cache.setProperty("ANTI_ALIAS", + Boolean.toString(smoothFont.isSelected())); } }