git://source.jalview.org / jalview.git / history
| 2005-04-07 | amwaterhouse | calls repaint, not just refreshpanels | blob | commitdiff |
| 2005-03-10 | amwaterhouse | fonts changed as selection made | blob | commitdiff | diff to current |
| 2005-03-09 | amwaterhouse | font chooser added | blob | commitdiff | diff to current |