EPS font width is a double, check this for monospacedFont
[jalview.git] / src / uk /
2005-12-06 amwaterhouseAfter branch merge