JAL-1858 separate method highlightSearchResults with fastPaint

[jalview.git] / src / jalview / gui / FeatureEditor.java

diff --git a/src/jalview/gui/FeatureEditor.java b/src/jalview/gui/FeatureEditor.java
index 6165152..b34e104 100644 (file)
--- a/src/jalview/gui/FeatureEditor.java
+++ b/src/jalview/gui/FeatureEditor.java
@@ -270,8 +270,7 @@ public class FeatureEditor
             highlight.addResult(sequences.get(0), sf.getBegin(),
                     sf.getEnd());
 
-            ap.getSeqPanel().seqCanvas.highlightSearchResults(highlight,
-                    true);
+            ap.getSeqPanel().seqCanvas.highlightSearchResults(highlight);
           }
           FeatureColourI col = fr.getFeatureStyle(name.getText());
           if (col == null)
@@ -477,8 +476,7 @@ public class FeatureEditor
                  * suppress fastPaint here - if feature colour changed,
                  * we need to repaint the whole alignment
                  */
-                ap.getSeqPanel().seqCanvas.highlightSearchResults(null,
-                        true);
+                ap.getSeqPanel().seqCanvas.highlightSearchResults(null);
                 ap.paintAlignment(true, true);
               }
             }).response(new RunResponse(JvOptionPane.NO_OPTION)
@@ -492,16 +490,14 @@ public class FeatureEditor
                 sequences.get(0).getDatasetSequence().deleteFeature(sf);
                 // update Feature Settings for removal of feature / group
                 fr.featuresAdded();
-                ap.getSeqPanel().seqCanvas.highlightSearchResults(null,
-                        true);
+                ap.getSeqPanel().seqCanvas.highlightSearchResults(null);
                 ap.paintAlignment(true, true);
               }
             }).defaultResponse(new Runnable()
             {
               public void run()
               {
-                ap.getSeqPanel().seqCanvas.highlightSearchResults(null,
-                        true);
+                ap.getSeqPanel().seqCanvas.highlightSearchResults(null);
                 ap.paintAlignment(true, true);
               }
             }).showInternalDialog(mainPanel, title,