X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPopupMenu.java;h=846ba6447d583209193997b08639755b3da5a850;hb=379357f76f6c8f973c145ed94a69225f358f4d0c;hp=2ef71cce5d6fff162391756b1425434754dcce56;hpb=6d06be2714c9cba8c69148d5e2d26b50b7051840;p=jalview.git diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java index 2ef71cc..846ba64 100644 --- a/src/jalview/gui/PopupMenu.java +++ b/src/jalview/gui/PopupMenu.java @@ -1946,8 +1946,7 @@ public class PopupMenu extends JPopupMenu implements ColourChangeListener if (start <= end) { seqs.add(sg.getSequenceAt(i).getDatasetSequence()); - features.add( - new SequenceFeature(null, null, null, start, end, null)); + features.add(new SequenceFeature(null, null, start, end, null)); } } @@ -1960,7 +1959,8 @@ public class PopupMenu extends JPopupMenu implements ColourChangeListener .amendFeatures(seqs, features, true, ap)) { ap.alignFrame.setShowSeqFeatures(true); - ap.highlightSearchResults(null); + ap.av.setSearchResults(null); // clear highlighting + ap.repaint(); // draw new/amended features } } }