git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb0eed3) | patch
clear selection once group defined
authoramwaterhouse <Andrew Waterhouse>
Wed, 9 Mar 2005 18:40:15 +0000 (18:40 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 9 Mar 2005 18:40:15 +0000 (18:40 +0000)
commita12de8e31d4a86f61f23e4eb62ae62ff03462511
tree5569cd3a0a366b10f15d2896a5d23c42eb9f433etree | snapshot
parenteb0eed334dc71bf05c86b4f7413b36e675722db9commit | diff
clear selection once group defined
src/jalview/gui/PopupMenu.java diff | blob | history