ensure that all bits of annotation panel (slider, annotation labels) get updated
authorjprocter <Jim Procter>
Mon, 22 Mar 2010 17:17:06 +0000 (17:17 +0000)
committerjprocter <Jim Procter>
Mon, 22 Mar 2010 17:17:06 +0000 (17:17 +0000)
commit6caac410b2015c2844ef8f21c65978736fcdbe98
tree595f5b237dea8253d58ba02ba95f3200bfebc410
parente29fee043997a3aa71b1b610f30483c7c9765045
ensure that all bits of annotation panel (slider, annotation labels) get updated
src/jalview/gui/AlignmentPanel.java