new feature args
authoramwaterhouse <Andrew Waterhouse>
Wed, 18 Oct 2006 13:04:40 +0000 (13:04 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 18 Oct 2006 13:04:40 +0000 (13:04 +0000)
commit7749f0e593d610c517dfd6796cf6087191b189ad
treeeb7658494e883cac5f37a1d05e426cd52db71bc0
parent95032c2e3e635e40bd92f3c6e218dde19a7db068
new feature args
src/jalview/gui/PopupMenu.java