Paintrefresh alignpanel
authoramwaterhouse <Andrew Waterhouse>
Tue, 14 Nov 2006 15:26:43 +0000 (15:26 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 14 Nov 2006 15:26:43 +0000 (15:26 +0000)
commitce5285b1d45799f2433f94a85449e7d086ffc7e9
tree1ba8a9b8f0c21035620ad1617208e05cb2c29231
parenta4bc1a8625949ba5b82eeba56058d44c349a5bc9
Paintrefresh alignpanel
src/jalview/gui/AlignFrame.java