git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ef055c) | patch
Wrapped search scrolls to visible result
authoramwaterhouse <Andrew Waterhouse>
Thu, 22 Dec 2005 15:58:09 +0000 (15:58 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 22 Dec 2005 15:58:09 +0000 (15:58 +0000)
commitee22ee70f8364e0c293f98da8368cdcff314f16b
treeaaa1584d94d33e192df351110ce17e15023bfc24tree | snapshot
parent9ef055c3ca6a391e0a3fe3f42464f69fe6eb404ecommit | diff
Wrapped search scrolls to visible result
src/jalview/gui/AlignmentPanel.java diff | blob | history