X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FFeatureEditor.java;fp=src%2Fjalview%2Fgui%2FFeatureEditor.java;h=b34e104b9a4bf121552357687fbdad3017f47afe;hb=6f0b432ac19ed1d0d5e01a834586dc81b8a6a72d;hp=61651529ff832789d1d826a5d358cf380dfde68d;hpb=5628cf4163fa91f78cc5fb9574c309424ca96b5c;p=jalview.git diff --git a/src/jalview/gui/FeatureEditor.java b/src/jalview/gui/FeatureEditor.java index 6165152..b34e104 100644 --- 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,