git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 251dab2) | patch
Displays number of matches found in search
authoramwaterhouse <Andrew Waterhouse>
Mon, 10 Jan 2005 17:39:32 +0000 (17:39 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 10 Jan 2005 17:39:32 +0000 (17:39 +0000)
commit587fef46179c0daf041e240c10b03ac5910718a8
tree61d52e8d1bdd42238b7144830830f2abb2004791tree | snapshot
parent251dab230e63f7240b5050c610c7b8233320a6d0commit | diff
Displays number of matches found in search
src/jalview/gui/Finder.java diff | blob | history