repainting issues fixed
authoramwaterhouse <Andrew Waterhouse>
Wed, 13 Apr 2005 16:33:11 +0000 (16:33 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 13 Apr 2005 16:33:11 +0000 (16:33 +0000)
commit245f9b4f0e5f7fcac4e13e4b9dfc673a836e0ec9
treefa471d3baec2b2a401dd458efd0cf42bd099234e
parenta00a50870e5a92ea78f765eb2ff48d9f1c2012e2
repainting issues fixed
src/jalview/gui/AlignmentPanel.java