Must repaint whole alignPanel
authoramwaterhouse <Andrew Waterhouse>
Tue, 10 Oct 2006 13:37:23 +0000 (13:37 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 10 Oct 2006 13:37:23 +0000 (13:37 +0000)
commitb45345a4ee49f07b6f66e80535ca5f140a954e41
tree6807ce1d564ff5cfa3fd08c29aad49459a049af4
parent49b625d7c10b85425059a51706a2aca96deed955
Must repaint whole alignPanel
src/jalview/gui/AlignViewport.java