git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1023470) | patch
Remove edit menu if no group defined
authoramwaterhouse <Andrew Waterhouse>
Mon, 1 May 2006 14:29:21 +0000 (14:29 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 1 May 2006 14:29:21 +0000 (14:29 +0000)
commit52fd681e0f239e20df19fd7560d4b999104ba222
tree2898355b10dea945126f58f8d644b46407fab592tree | snapshot
parent10234705ce9d6d596b201f0b5bd919e1af03f380commit | diff
Remove edit menu if no group defined
src/jalview/appletgui/APopupMenu.java diff | blob | history