Smooth fonts added
authoramwaterhouse <Andrew Waterhouse>
Mon, 30 Jan 2006 14:57:06 +0000 (14:57 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 30 Jan 2006 14:57:06 +0000 (14:57 +0000)
commit6a6b52d211b002b444365f542956b0321128cc2d
treedced767ece90c53343ef8a8dbc36d25cc1795b1c
parentc24071f7b9e6b70c94743214677871ae2dc88499
Smooth fonts added
src/jalview/gui/Preferences.java