PaintRefresher must be sent alignment
authoramwaterhouse <Andrew Waterhouse>
Tue, 14 Jun 2005 11:33:41 +0000 (11:33 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 14 Jun 2005 11:33:41 +0000 (11:33 +0000)
commit3ad2eb8f66c9b73fb80b2c8e957e81b0e4969e3c
tree70174186771c962379af91f62946eb73f114f347
parentf62c6e30180c7a0c5e0e2d6ded1178a12b66c255
PaintRefresher must be sent alignment
src/jalview/gui/AlignFrame.java