X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdPanel.java;h=fcf8e92444f854ed9d8539227cb411a1bf724116;hb=a73f21e87de8310ecd2477f8d29c1967d90bded5;hp=8903ce3f7d3dcf55c3dd8bed87a57ae58ea52bb9;hpb=e74b22a8fe7beaaa54bb46c452cbb57766e90bbd;p=jalview.git diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java index 8903ce3..fcf8e92 100755 --- a/src/jalview/gui/IdPanel.java +++ b/src/jalview/gui/IdPanel.java @@ -121,7 +121,7 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene SequenceGroup selection = new SequenceGroup(); SequenceGroup sg = av.alignment.findGroup(av.alignment.getSequenceAt(seq)); selection.setStartRes(0); - selection.setEndRes(av.alignment.getWidth()); + selection.setEndRes(av.alignment.getWidth()-1); for (int i =0; i< sg.getSize(); i++) selection.addSequence(sg.getSequenceAt(i)); @@ -140,9 +140,7 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene else selectSeq(seq); - alignPanel.seqPanel.seqCanvas.paintFlag=true; alignPanel.repaint(); - repaint(); } void selectSeq(int seq) @@ -178,6 +176,20 @@ public class IdPanel extends JPanel implements MouseListener, MouseMotionListene PaintRefresher.Refresh(this); } + public void highlightSearchResults( java.util.ArrayList found ) + { + idCanvas.setHighlighted( found ); + + if(found == null) + return; + + int index = av.alignment.findIndex( (SequenceI)found.get(0)); + + // do we need to scroll the panel? + if(av.getStartSeq()>index || av.getEndSeq()