invalidate alignPanel before changing size
authoramwaterhouse <Andrew Waterhouse>
Wed, 13 Apr 2005 16:34:48 +0000 (16:34 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 13 Apr 2005 16:34:48 +0000 (16:34 +0000)
commit841c332be93270adcfec4c48310c0635513d11fd
tree94046358b3ec0444635a7138df259fa4cca0d5fe
parent8a0324e8daa7840423e9aeb3a5020e15038014b8
invalidate alignPanel before changing size
src/jalview/gui/IdwidthAdjuster.java