JAL-3099 use Alignment.getVisibleWidth() where wanted
[jalview.git] / utils / InstallAnywhere / jalview.gif
utils/InstallAnywhere/jalview.gif