validate and repaint after changing panels
[jalview.git] / src / jalview / appletgui / Finder.java
2005-05-04 amwaterhouseApplet files