git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85342b3) | patch
dont show redundant menuitems
authoramwaterhouse <Andrew Waterhouse>
Thu, 19 May 2005 17:54:30 +0000 (17:54 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 19 May 2005 17:54:30 +0000 (17:54 +0000)
commita003b8e557f3b1a54e043264cb5c43b476bfc8f5
tree5562ac83115ed35a480814eafb98a3be2addc66atree | snapshot
parent85342b3acacc89a9854a8e25a49573f2c044a374commit | diff
dont show redundant menuitems
src/jalview/gui/PopupMenu.java diff | blob | history