git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8359bd8) | patch
If selectionGroup is null, return
authoramwaterhouse <Andrew Waterhouse>
Thu, 10 Nov 2005 11:05:04 +0000 (11:05 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 10 Nov 2005 11:05:04 +0000 (11:05 +0000)
commitfe7876eb20657a2f1f94b1f8fcf0cea5a3af0b82
tree25c0d35ebc1a7bf10a71d238e8e817db8c2aad9etree | snapshot
parent8359bd8f5bae0bfc1a63ba114b7a4d67fbb62efecommit | diff
If selectionGroup is null, return
src/jalview/gui/IdPanel.java diff | blob | history