Remove user colour menu item
authoramwaterhouse <Andrew Waterhouse>
Wed, 17 Aug 2005 13:02:32 +0000 (13:02 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 17 Aug 2005 13:02:32 +0000 (13:02 +0000)
commit7c612cf2073df1d290399042a7ecec55adc0e7e7
tree2f8c5f7d2c4125e3e0881255517ab403a3c6b51b
parentfd621a25427a759de0268471f753083bed5e1b53
Remove user colour menu item
src/jalview/jbgui/GAlignFrame.java