git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51605ff) | patch
if sequence is in selection when removed, remove from av.selection
authoramwaterhouse <Andrew Waterhouse>
Fri, 19 Nov 2004 17:23:16 +0000 (17:23 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 19 Nov 2004 17:23:16 +0000 (17:23 +0000)
commit2377b4763c9bfecb0527e37be59392df61f8b75e
tree79029793b275b4d04c604431bb6e818b26814362tree | snapshot
parent51605ff0b3c81ba5894348745596b5038d905ffbcommit | diff
if sequence is in selection when removed, remove from av.selection
src/jalview/gui/GroupEditor.java diff | blob | history