No need for repaint
authoramwaterhouse <Andrew Waterhouse>
Fri, 23 Jun 2006 13:45:41 +0000 (13:45 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 23 Jun 2006 13:45:41 +0000 (13:45 +0000)
commit039b229210210f49e00d160bf073b85f9bc027eb
tree48b38f22cf64702477e7e101198571c4a60931c3
parent6ce8b88ca3d675b5ce00a8ca54416f970c2632d8
No need for repaint
src/jalview/gui/AlignFrame.java