initial label width bug might be fixed at last
authoramwaterhouse <Andrew Waterhouse>
Tue, 15 Mar 2005 16:33:36 +0000 (16:33 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 15 Mar 2005 16:33:36 +0000 (16:33 +0000)
commite61e2b53cc88a6dd4dd5abe857b19172f253ba11
tree68ab1caa391455fa27af1b5df6d8a3f900170569
parent59daa738a49b24d4721e4948211f72b08852dca2
initial label width bug might be fixed at last
src/jalview/gui/AlignmentPanel.java