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 (file)
--- 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,