From: gmungoc Date: Mon, 9 Jul 2018 12:55:48 +0000 (+0100) Subject: JAL-3048 _no_ fastPaint when higlighting features, ever X-Git-Tag: Release_2_11_4_0~45^2~18^2~559 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=5628cf4163fa91f78cc5fb9574c309424ca96b5c;p=jalview.git JAL-3048 _no_ fastPaint when higlighting features, ever --- 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,