charWidth is now an int
[jalview.git] / BartonGroupBanner.gif
BartonGroupBanner.gif