corrections for find when edit takes place
[jalview.git] / src / jalview / appletgui / AlignmentPanel.java
2005-05-12 amwaterhousecorrections for find when edit takes place
2005-05-04 amwaterhousevalidate and repaint after changing panels
2005-05-04 amwaterhouseApplet files