git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08620e4) | patch
Fix for user entering number in search window
authoramwaterhouse <Andrew Waterhouse>
Wed, 3 Aug 2005 15:07:41 +0000 (15:07 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 3 Aug 2005 15:07:41 +0000 (15:07 +0000)
commit8a474786319224db5ad12dfefe91ed663140a859
treebd9cc3883721743f19c320026ee0142d4b438869tree | snapshot
parent08620e4438a99912019631c0b1c9deb341b76ae0commit | diff
Fix for user entering number in search window
src/jalview/gui/Finder.java diff | blob | history