No need to re repaint
authoramwaterhouse <Andrew Waterhouse>
Wed, 9 Aug 2006 15:54:58 +0000 (15:54 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 9 Aug 2006 15:54:58 +0000 (15:54 +0000)
commit4a62141371fa3ab28aa2e21bab95399e97382142
treecc075fe7324933e05410db34c77a1364e9d6f2a5
parentb96e3c46826eb2f6809e2a5579b6407daa5fb0c4
No need to re repaint
src/jalview/appletgui/OverviewPanel.java