paintrefresher
authoramwaterhouse <Andrew Waterhouse>
Wed, 15 Jun 2005 15:03:19 +0000 (15:03 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 15 Jun 2005 15:03:19 +0000 (15:03 +0000)
commitf714a7c40a08130e8e239828ecbe4503bb5ebafc
treef83ff3c0ddd8a82bfe9e4f5c0ee5b1dd9210f57f
parent714c122e48957117de140264e762f48a4aeb96fc
paintrefresher
src/jalview/gui/SeqPanel.java