patch for JAL-555
authorjprocter <Jim Procter>
Wed, 9 Jun 2010 12:09:59 +0000 (12:09 +0000)
committerjprocter <Jim Procter>
Wed, 9 Jun 2010 12:09:59 +0000 (12:09 +0000)
commitdf27351beb93456a00c6c2ae80ce999749f3b596
tree40a37c517f1abbef2b5d154964e6e77f6c51f086
parent2d83768d3f2c5f43ea0268d28ee714299e3d028e
patch for JAL-555
src/jalview/gui/FeatureSettings.java