patch for JAL-792
authorjprocter <Jim Procter>
Sun, 27 Feb 2011 18:35:28 +0000 (18:35 +0000)
committerjprocter <Jim Procter>
Sun, 27 Feb 2011 18:35:28 +0000 (18:35 +0000)
commit924009a65aed548bcc265287534854fa7e249845
treefae2af07d1ba45763cc0fa79d1cc2554e6cf2022
parent8a92c2fed93b2adfac07a8bc29d3556ee7b1be62
patch for JAL-792
src/jalview/appletgui/Finder.java