Use font.getName, not font.getFontName
[jalview.git] / src / jalview / appletgui / RedundancyPanel.java
2005-06-08 amwaterhouserecalc group conserve
2005-06-08 amwaterhouseFormatted source
2005-06-08 amwaterhouseGPL license added
2005-05-04 amwaterhouseApplet files