git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: debef3a) | patch
Dont repaint if component has been removed
authoramwaterhouse <Andrew Waterhouse>
Thu, 8 Dec 2005 15:34:59 +0000 (15:34 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 8 Dec 2005 15:34:59 +0000 (15:34 +0000)
commitdced869b5a728ef726f85893b0b0a6a7be75ec48
tree8dd8d50a3528ddfe9f25873303db5e06da52e708tree | snapshot
parentdebef3a6e9343fe76c2570bc8c2ff81ef04acfa7commit | diff
Dont repaint if component has been removed
src/jalview/appletgui/PaintRefresher.java diff | blob | history
src/jalview/gui/PaintRefresher.java diff | blob | history