hide annotation colouring options
authoramwaterhouse <Andrew Waterhouse>
Fri, 27 Apr 2007 08:20:45 +0000 (08:20 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 27 Apr 2007 08:20:45 +0000 (08:20 +0000)
commitfd6c33d8f91caaef0ee25a039956ac203ac9b7a6
tree0fc32687fb844c2ef25b54ee99b6b572fe419ac1
parent6861625df35505461021e2bccda7d0b4ef0e25f8
hide annotation colouring options
src/jalview/gui/PopupMenu.java