git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04bb62b) | patch
If overview is visible, update it
authoramwaterhouse <Andrew Waterhouse>
Thu, 17 Nov 2005 15:20:31 +0000 (15:20 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 17 Nov 2005 15:20:31 +0000 (15:20 +0000)
commitc93e8aa711b9a282cb9ab78b7c2957736164606c
treeb19ce5501529a6d7004a18259fb5cf9854ce7deetree | snapshot
parent04bb62b586382f183f08eb70131e7bf5f67cb47acommit | diff
If overview is visible, update it
src/jalview/gui/AlignmentPanel.java diff | blob | history