Menu names changed
authoramwaterhouse <Andrew Waterhouse>
Thu, 28 Apr 2005 15:30:28 +0000 (15:30 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 28 Apr 2005 15:30:28 +0000 (15:30 +0000)
commita03e7cf54816cf5c05b68e5dee297d4223f20f00
treeff20620dce5fe12747dcaa68af4afb1cbd8da4a6
parent43e71335be322e9ca4dddc95f5c6fce3c1bbdfcb
Menu names changed
src/jalview/gui/PopupMenu.java