Dont repaint tooltip
authoramwaterhouse <Andrew Waterhouse>
Thu, 1 Feb 2007 12:36:46 +0000 (12:36 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 1 Feb 2007 12:36:46 +0000 (12:36 +0000)
commit3bef8af08c084f0d9e425e9265e0a432b913742d
treed1cfa9031e2af5e6f7d7b98535006885ed455d3a
parent6f707193c7997803f7e7ae9d17359e6e32b4a7e4
Dont repaint tooltip
src/jalview/appletgui/IdPanel.java
src/jalview/appletgui/SeqPanel.java