User colours
authoramwaterhouse <Andrew Waterhouse>
Wed, 17 Aug 2005 09:09:18 +0000 (09:09 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 17 Aug 2005 09:09:18 +0000 (09:09 +0000)
commita4685bdf439ef8c5b61593c9dbb574e884385a2b
tree9170812f1b1d53f75f426fdbdaba2320e7ffe882
parentf7bcceb4efd723c25d5169fd2fa139b3610eb84e
User colours
src/jalview/gui/PopupMenu.java
src/jalview/jbgui/GAlignFrame.java