repaint removed
authoramwaterhouse <Andrew Waterhouse>
Mon, 18 Apr 2005 08:05:41 +0000 (08:05 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 18 Apr 2005 08:05:41 +0000 (08:05 +0000)
commit3d30a09f2db85d2e3a5accb915fa86f8e50a881b
tree440ae3f6cadb3812de60e772c61a2b91ff9414d6
parent1d1a30610226ffdb296e6ceb986b3fe0298f2158
repaint removed
src/jalview/gui/IdPanel.java