Additional repaint
authoramwaterhouse <Andrew Waterhouse>
Tue, 29 Aug 2006 15:22:59 +0000 (15:22 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 29 Aug 2006 15:22:59 +0000 (15:22 +0000)
commite9dd76697f841c9704b9b4105a31266bf72211c6
treeffa57508bb1200eda6ae04720877c1147e63e2c3
parent174a67aba96e55fdfbd4f33dfe4e658d790fc5c2
Additional repaint
src/jalview/gui/AlignmentPanel.java