Font size label
authoramwaterhouse <Andrew Waterhouse>
Mon, 12 Dec 2005 14:15:03 +0000 (14:15 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 12 Dec 2005 14:15:03 +0000 (14:15 +0000)
commitf6235770cfcf11c4970e9dbe96ca293966611f24
treec4c724bf90a0c1957361a7e3f6863ea9ba5db728
parent216dc75e0d19834edbfb84a89e6e33354cea6025
Font size label
src/jalview/gui/AnnotationLabels.java