git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c36a5cb) | patch
If selection altered, update Rubberband group also
authoramwaterhouse <Andrew Waterhouse>
Wed, 15 Dec 2004 17:16:06 +0000 (17:16 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 15 Dec 2004 17:16:06 +0000 (17:16 +0000)
commit70a78b6d97931e671f557d042a0655052c3e41eb
tree69e3914b49e1d1e4f8169b4aadb0438d29aebc89tree | snapshot
parentc36a5cbdcbb1c099320e1454c1038327efa04efacommit | diff
If selection altered, update Rubberband group also
src/jalview/gui/AlignViewport.java diff | blob | history