selection should be sent after refresh happens
authorjprocter <Jim Procter>
Wed, 12 Jan 2011 17:02:47 +0000 (17:02 +0000)
committerjprocter <Jim Procter>
Wed, 12 Jan 2011 17:02:47 +0000 (17:02 +0000)
commitecbe6d4b89de40cd16d94e86ee5ecf68ba32e80c
tree345db856a6237278932c805bd92fe46044c6ce08
parent433d3fc7bc039b3dae3827b595b7a419cc3c0b27
selection should be sent after refresh happens
src/jalview/gui/AlignFrame.java
src/jalview/gui/AnnotationLabels.java
src/jalview/gui/IdPanel.java