idwidth is calculated in this panel, not idcanvas
authoramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 10:38:38 +0000 (10:38 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 10:38:38 +0000 (10:38 +0000)
commita2a41986667a3d2f611b4e7c8432d9cdd05527a6
tree73b6443db2770cd61276fe8772ff24ab9ec615d7
parent66abe88d03e7d0a228f45eaab5739b207174b632
idwidth is calculated in this panel, not idcanvas
src/jalview/gui/AlignmentPanel.java