From 5628cf4163fa91f78cc5fb9574c309424ca96b5c Mon Sep 17 00:00:00 2001 From: gmungoc Date: Mon, 9 Jul 2018 13:55:48 +0100 Subject: [PATCH] JAL-3048 _no_ fastPaint when higlighting features, ever --- src/jalview/gui/FeatureEditor.java | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/src/jalview/gui/FeatureEditor.java b/src/jalview/gui/FeatureEditor.java index ad82612..6165152 100644 --- a/src/jalview/gui/FeatureEditor.java +++ b/src/jalview/gui/FeatureEditor.java @@ -271,7 +271,7 @@ public class FeatureEditor sf.getEnd()); ap.getSeqPanel().seqCanvas.highlightSearchResults(highlight, - false); + true); } FeatureColourI col = fr.getFeatureStyle(name.getText()); if (col == null) @@ -473,8 +473,12 @@ public class FeatureEditor } } + /* + * suppress fastPaint here - if feature colour changed, + * we need to repaint the whole alignment + */ ap.getSeqPanel().seqCanvas.highlightSearchResults(null, - false); + true); ap.paintAlignment(true, true); } }).response(new RunResponse(JvOptionPane.NO_OPTION) @@ -489,7 +493,7 @@ public class FeatureEditor // update Feature Settings for removal of feature / group fr.featuresAdded(); ap.getSeqPanel().seqCanvas.highlightSearchResults(null, - false); + true); ap.paintAlignment(true, true); } }).defaultResponse(new Runnable() @@ -497,7 +501,7 @@ public class FeatureEditor public void run() { ap.getSeqPanel().seqCanvas.highlightSearchResults(null, - false); + true); ap.paintAlignment(true, true); } }).showInternalDialog(mainPanel, title, -- 1.7.10.2