X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdPanel.java;fp=src%2Fjalview%2Fgui%2FIdPanel.java;h=3c7e06fcb302fc6b66c9f30380823c50cad3a3c3;hb=36cb7e0a22de94370c4397d1d7feffcfe72a88fc;hp=a1831440d65413baf57742d2725e619f8a8dd7fb;hpb=090ec0d24fd62081f1a4d84c99459655801d39f2;p=jalview.git diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java index a183144..3c7e06f 100755 --- a/src/jalview/gui/IdPanel.java +++ b/src/jalview/gui/IdPanel.java @@ -430,10 +430,11 @@ public class IdPanel extends JPanel */ public void highlightSearchResults(List list) { - getIdCanvas().setHighlighted(list); + av.setHighlightedSeqs(list); if (list == null) { + idCanvas.repaint(); return; } @@ -445,6 +446,11 @@ public class IdPanel extends JPanel { av.getRanges().setStartSeq(index); } + else + { + // just repaint + idCanvas.repaint(); + } } public IdCanvas getIdCanvas()