Repaint after feature added
authoramwaterhouse <Andrew Waterhouse>
Fri, 27 Apr 2007 16:20:22 +0000 (16:20 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 27 Apr 2007 16:20:22 +0000 (16:20 +0000)
commitda66cf1130998cd785d9bc2954bb79a3c7da1266
treeee3a01dc0e0ba7b2044cdcddc39f8a43495c6d4f
parent1f9990748644d3380bc045aad1f694c0252cc35f
Repaint after feature added
src/jalview/appletgui/FeatureRenderer.java