JAL-3048 amendFeatures as dialog runner - repaint after amend not always reliable
authorJim Procter <jprocter@issues.jalview.org>
Fri, 6 Jul 2018 13:32:59 +0000 (14:32 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Fri, 6 Jul 2018 13:32:59 +0000 (14:32 +0100)
commit242fbce514e8895977fb7bbd20147cf0fe630407
tree37f37c551dd4700f83784f65e02c68b6e215916d
parent406e7b1a013740e38221de3a0621232aa229093e
JAL-3048 amendFeatures as dialog runner - repaint after amend not always reliable
src/jalview/gui/FeatureRenderer.java
src/jalview/gui/Finder.java
src/jalview/gui/PopupMenu.java
src/jalview/gui/SeqPanel.java