getVisibleIdWidth() for making images
authoramwaterhouse <Andrew Waterhouse>
Mon, 11 Sep 2006 11:30:23 +0000 (11:30 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 11 Sep 2006 11:30:23 +0000 (11:30 +0000)
commitea65828ca48c415700ebd130219c875b2e389dff
treefc713f59d711d44038e3318e290a14050b4d3f79
parentd545553b53ac1bd1e29eb72250cdb29745f7292f
getVisibleIdWidth() for making images
src/jalview/gui/AlignmentPanel.java