JAL-2674 add bounds to findHiddenRegionPositions
[jalview.git] / src / jalview / appletgui / SeqCanvas.java
1 /*
2  * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3  * Copyright (C) $$Year-Rel$$ The Jalview Authors
4  * 
5  * This file is part of Jalview.
6  * 
7  * Jalview is free software: you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License 
9  * as published by the Free Software Foundation, either version 3
10  * of the License, or (at your option) any later version.
11  *  
12  * Jalview is distributed in the hope that it will be useful, but 
13  * WITHOUT ANY WARRANTY; without even the implied warranty 
14  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR 
15  * PURPOSE.  See the GNU General Public License for more details.
16  * 
17  * You should have received a copy of the GNU General Public License
18  * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
19  * The Jalview Authors are detailed in the 'AUTHORS' file.
20  */
21 package jalview.appletgui;
22
23 import jalview.datamodel.AlignmentI;
24 import jalview.datamodel.HiddenColumns;
25 import jalview.datamodel.SearchResultsI;
26 import jalview.datamodel.SequenceGroup;
27 import jalview.datamodel.SequenceI;
28 import jalview.renderer.ScaleRenderer;
29 import jalview.renderer.ScaleRenderer.ScaleMark;
30 import jalview.viewmodel.AlignmentViewport;
31 import jalview.viewmodel.ViewportListenerI;
32 import jalview.viewmodel.ViewportRanges;
33
34 import java.awt.Color;
35 import java.awt.FontMetrics;
36 import java.awt.Graphics;
37 import java.awt.Image;
38 import java.awt.Panel;
39 import java.beans.PropertyChangeEvent;
40 import java.util.List;
41
42 public class SeqCanvas extends Panel implements ViewportListenerI
43 {
44   FeatureRenderer fr;
45
46   SequenceRenderer sr;
47
48   Image img;
49
50   Graphics gg;
51
52   int imgWidth;
53
54   int imgHeight;
55
56   AlignViewport av;
57
58   boolean fastPaint = false;
59
60   int cursorX = 0;
61
62   int cursorY = 0;
63
64   public SeqCanvas(AlignViewport av)
65   {
66     this.av = av;
67     fr = new FeatureRenderer(av);
68     sr = new SequenceRenderer(av);
69     PaintRefresher.Register(this, av.getSequenceSetId());
70     updateViewport();
71
72     av.getRanges().addPropertyChangeListener(this);
73   }
74
75   int avcharHeight = 0, avcharWidth = 0;
76
77   private void updateViewport()
78   {
79     avcharHeight = av.getCharHeight();
80     avcharWidth = av.getCharWidth();
81   }
82
83   public AlignmentViewport getViewport()
84   {
85     return av;
86   }
87
88   public FeatureRenderer getFeatureRenderer()
89   {
90     return fr;
91   }
92
93   public SequenceRenderer getSequenceRenderer()
94   {
95     return sr;
96   }
97
98   private void drawNorthScale(Graphics g, int startx, int endx, int ypos)
99   {
100     updateViewport();
101     g.setColor(Color.black);
102     for (ScaleMark mark : new ScaleRenderer().calculateMarks(av, startx,
103             endx))
104     {
105       int mpos = mark.column; // (i - startx - 1)
106       if (mpos < 0)
107       {
108         continue;
109       }
110       String mstring = mark.text;
111
112       if (mark.major)
113       {
114         if (mstring != null)
115         {
116           g.drawString(mstring, mpos * avcharWidth,
117                   ypos - (avcharHeight / 2));
118         }
119         g.drawLine((mpos * avcharWidth) + (avcharWidth / 2),
120                 (ypos + 2) - (avcharHeight / 2),
121                 (mpos * avcharWidth) + (avcharWidth / 2), ypos - 2);
122       }
123     }
124   }
125
126   private void drawWestScale(Graphics g, int startx, int endx, int ypos)
127   {
128     FontMetrics fm = getFontMetrics(av.getFont());
129     ypos += avcharHeight;
130     if (av.hasHiddenColumns())
131     {
132       startx = av.getAlignment().getHiddenColumns()
133               .adjustForHiddenColumns(startx);
134       endx = av.getAlignment().getHiddenColumns()
135               .adjustForHiddenColumns(endx);
136     }
137
138     int maxwidth = av.getAlignment().getWidth();
139     if (av.hasHiddenColumns())
140     {
141       maxwidth = av.getAlignment().getHiddenColumns()
142               .findColumnPosition(maxwidth) - 1;
143     }
144
145     // WEST SCALE
146     for (int i = 0; i < av.getAlignment().getHeight(); i++)
147     {
148       SequenceI seq = av.getAlignment().getSequenceAt(i);
149       int index = startx;
150       int value = -1;
151
152       while (index < endx)
153       {
154         if (jalview.util.Comparison.isGap(seq.getCharAt(index)))
155         {
156           index++;
157
158           continue;
159         }
160
161         value = av.getAlignment().getSequenceAt(i).findPosition(index);
162
163         break;
164       }
165
166       if (value != -1)
167       {
168         int x = LABEL_WEST - fm.stringWidth(String.valueOf(value))
169                 - avcharWidth / 2;
170         g.drawString(value + "", x,
171                 (ypos + (i * avcharHeight)) - (avcharHeight / 5));
172       }
173     }
174   }
175
176   private void drawEastScale(Graphics g, int startx, int endx, int ypos)
177   {
178     ypos += avcharHeight;
179
180     if (av.hasHiddenColumns())
181     {
182       endx = av.getAlignment().getHiddenColumns()
183               .adjustForHiddenColumns(endx);
184     }
185
186     SequenceI seq;
187     // EAST SCALE
188     for (int i = 0; i < av.getAlignment().getHeight(); i++)
189     {
190       seq = av.getAlignment().getSequenceAt(i);
191       int index = endx;
192       int value = -1;
193
194       while (index > startx)
195       {
196         if (jalview.util.Comparison.isGap(seq.getCharAt(index)))
197         {
198           index--;
199
200           continue;
201         }
202
203         value = seq.findPosition(index);
204
205         break;
206       }
207
208       if (value != -1)
209       {
210         g.drawString(String.valueOf(value), 0,
211                 (ypos + (i * avcharHeight)) - (avcharHeight / 5));
212       }
213     }
214   }
215
216   int lastsr = 0;
217
218   void fastPaint(int horizontal, int vertical)
219   {
220     if (fastPaint || gg == null)
221     {
222       return;
223     }
224
225     ViewportRanges ranges = av.getRanges();
226
227     updateViewport();
228
229     // Its possible on certain browsers that the call to fastpaint
230     // is faster than it can paint, so this check here catches
231     // this possibility
232     if (lastsr + horizontal != ranges.getStartRes())
233     {
234       horizontal = ranges.getStartRes() - lastsr;
235     }
236
237     lastsr = ranges.getStartRes();
238
239     fastPaint = true;
240     gg.copyArea(horizontal * avcharWidth, vertical * avcharHeight,
241             imgWidth - horizontal * avcharWidth,
242             imgHeight - vertical * avcharHeight, -horizontal * avcharWidth,
243             -vertical * avcharHeight);
244
245     int sr = ranges.getStartRes(), er = ranges.getEndRes(),
246             ss = ranges.getStartSeq(), es = ranges.getEndSeq(), transX = 0,
247             transY = 0;
248
249     if (horizontal > 0) // scrollbar pulled right, image to the left
250     {
251       transX = (er - sr - horizontal) * avcharWidth;
252       sr = er - horizontal;
253     }
254     else if (horizontal < 0)
255     {
256       er = sr - horizontal;
257     }
258
259     else if (vertical > 0) // scroll down
260     {
261       ss = es - vertical;
262       if (ss < ranges.getStartSeq()) // ie scrolling too fast, more than a page
263                                      // at a
264       // time
265       {
266         ss = ranges.getStartSeq();
267       }
268       else
269       {
270         transY = imgHeight - ((vertical + 1) * avcharHeight);
271       }
272     }
273     else if (vertical < 0)
274     {
275       es = ss - vertical;
276       if (es > ranges.getEndSeq())
277       {
278         es = ranges.getEndSeq();
279       }
280     }
281
282     gg.translate(transX, transY);
283
284     drawPanel(gg, sr, er, ss, es, 0);
285     gg.translate(-transX, -transY);
286
287     repaint();
288
289   }
290
291   /**
292    * Definitions of startx and endx (hopefully): SMJS This is what I'm working
293    * towards! startx is the first residue (starting at 0) to display. endx is
294    * the last residue to display (starting at 0). starty is the first sequence
295    * to display (starting at 0). endy is the last sequence to display (starting
296    * at 0). NOTE 1: The av limits are set in setFont in this class and in the
297    * adjustment listener in SeqPanel when the scrollbars move.
298    */
299   @Override
300   public void update(Graphics g)
301   {
302     paint(g);
303   }
304
305   @Override
306   public void paint(Graphics g)
307   {
308
309     if (img != null
310             && (fastPaint || (getSize().width != g.getClipBounds().width)
311                     || (getSize().height != g.getClipBounds().height)))
312     {
313       g.drawImage(img, 0, 0, this);
314       fastPaint = false;
315       return;
316     }
317
318     if (fastPaint)
319     {
320       g.drawImage(img, 0, 0, this);
321       fastPaint = false;
322       return;
323     }
324
325     updateViewport();
326     // this draws the whole of the alignment
327     imgWidth = this.getSize().width;
328     imgHeight = this.getSize().height;
329
330     imgWidth -= imgWidth % avcharWidth;
331     imgHeight -= imgHeight % avcharHeight;
332
333     if (imgWidth < 1 || imgHeight < 1)
334     {
335       return;
336     }
337
338     if (img == null || imgWidth != img.getWidth(this)
339             || imgHeight != img.getHeight(this))
340     {
341       img = createImage(imgWidth, imgHeight);
342       gg = img.getGraphics();
343       gg.setFont(av.getFont());
344     }
345
346     gg.setColor(Color.white);
347     gg.fillRect(0, 0, imgWidth, imgHeight);
348
349     ViewportRanges ranges = av.getRanges();
350
351     if (av.getWrapAlignment())
352     {
353       drawWrappedPanel(gg, imgWidth, imgHeight, ranges.getStartRes());
354     }
355     else
356     {
357       drawPanel(gg, ranges.getStartRes(), ranges.getEndRes(),
358               ranges.getStartSeq(), ranges.getEndSeq(), 0);
359     }
360
361     g.drawImage(img, 0, 0, this);
362
363   }
364
365   int LABEL_WEST, LABEL_EAST;
366
367   public int getWrappedCanvasWidth(int cwidth)
368   {
369     cwidth -= cwidth % av.getCharWidth();
370
371     FontMetrics fm = getFontMetrics(av.getFont());
372
373     LABEL_EAST = 0;
374     LABEL_WEST = 0;
375
376     if (av.getScaleRightWrapped())
377     {
378       LABEL_EAST = fm.stringWidth(getMask());
379     }
380
381     if (av.getScaleLeftWrapped())
382     {
383       LABEL_WEST = fm.stringWidth(getMask());
384     }
385
386     return (cwidth - LABEL_EAST - LABEL_WEST) / av.getCharWidth();
387   }
388
389   /**
390    * Generates a string of zeroes.
391    * 
392    * @return String
393    */
394   String getMask()
395   {
396     String mask = "0";
397     int maxWidth = 0;
398     int tmp;
399     AlignmentI alignment = av.getAlignment();
400     for (int i = 0; i < alignment.getHeight(); i++)
401     {
402       tmp = alignment.getSequenceAt(i).getEnd();
403       if (tmp > maxWidth)
404       {
405         maxWidth = tmp;
406       }
407     }
408
409     for (int i = maxWidth; i > 0; i /= 10)
410     {
411       mask += "0";
412     }
413     return mask;
414   }
415
416   private void drawWrappedPanel(Graphics g, int canvasWidth,
417           int canvasHeight, int startRes)
418   {
419     AlignmentI al = av.getAlignment();
420
421     FontMetrics fm = getFontMetrics(av.getFont());
422
423     LABEL_EAST = 0;
424     LABEL_WEST = 0;
425
426     if (av.getScaleRightWrapped())
427     {
428       LABEL_EAST = fm.stringWidth(getMask());
429     }
430
431     if (av.getScaleLeftWrapped())
432     {
433       LABEL_WEST = fm.stringWidth(getMask());
434     }
435
436     int hgap = avcharHeight;
437     if (av.getScaleAboveWrapped())
438     {
439       hgap += avcharHeight;
440     }
441
442     int cWidth = (canvasWidth - LABEL_EAST - LABEL_WEST) / avcharWidth;
443     int cHeight = av.getAlignment().getHeight() * avcharHeight;
444
445     av.setWrappedWidth(cWidth);
446
447     av.getRanges().setViewportStartAndWidth(startRes, cWidth);
448
449     int endx;
450     int ypos = hgap;
451
452     int maxwidth = av.getAlignment().getWidth();
453
454     if (av.hasHiddenColumns())
455     {
456       maxwidth = av.getAlignment().getHiddenColumns()
457               .findColumnPosition(maxwidth);
458     }
459
460     while ((ypos <= canvasHeight) && (startRes < maxwidth))
461     {
462       endx = startRes + cWidth - 1;
463
464       if (endx > maxwidth)
465       {
466         endx = maxwidth;
467       }
468
469       g.setColor(Color.black);
470
471       if (av.getScaleLeftWrapped())
472       {
473         drawWestScale(g, startRes, endx, ypos);
474       }
475
476       if (av.getScaleRightWrapped())
477       {
478         g.translate(canvasWidth - LABEL_EAST, 0);
479         drawEastScale(g, startRes, endx, ypos);
480         g.translate(-(canvasWidth - LABEL_EAST), 0);
481       }
482
483       g.translate(LABEL_WEST, 0);
484
485       if (av.getScaleAboveWrapped())
486       {
487         drawNorthScale(g, startRes, endx, ypos);
488       }
489       if (av.hasHiddenColumns() && av.getShowHiddenMarkers())
490       {
491         HiddenColumns hidden = av.getAlignment().getHiddenColumns();
492         g.setColor(Color.blue);
493         int res;
494         List<Integer> positions = hidden.findHiddenRegionPositions(startRes,
495                 endx + 1);
496         for (int pos : positions)
497         {
498           res = pos - startRes;
499
500           gg.fillPolygon(
501                   new int[]
502                   { res * avcharWidth - avcharHeight / 4,
503                       res * avcharWidth + avcharHeight / 4,
504                       res * avcharWidth },
505                   new int[]
506                   { ypos - (avcharHeight / 2), ypos - (avcharHeight / 2),
507                       ypos - (avcharHeight / 2) + 8 },
508                   3);
509         }
510       }
511
512       if (g.getClip() == null)
513       {
514         g.setClip(0, 0, cWidth * avcharWidth, canvasHeight);
515       }
516
517       drawPanel(g, startRes, endx, 0, al.getHeight() - 1, ypos);
518       g.setClip(null);
519
520       if (av.isShowAnnotation())
521       {
522         g.translate(0, cHeight + ypos + 4);
523         if (annotations == null)
524         {
525           annotations = new AnnotationPanel(av);
526         }
527
528         annotations.drawComponent(g, startRes, endx + 1);
529         g.translate(0, -cHeight - ypos - 4);
530       }
531       g.translate(-LABEL_WEST, 0);
532
533       ypos += cHeight + getAnnotationHeight() + hgap;
534
535       startRes += cWidth;
536     }
537
538   }
539
540   AnnotationPanel annotations;
541
542   int getAnnotationHeight()
543   {
544     if (!av.isShowAnnotation())
545     {
546       return 0;
547     }
548
549     if (annotations == null)
550     {
551       annotations = new AnnotationPanel(av);
552     }
553
554     return annotations.adjustPanelHeight();
555   }
556
557   private void drawPanel(Graphics g1, final int startRes, final int endRes,
558           final int startSeq, final int endSeq, final int offset)
559   {
560
561     if (!av.hasHiddenColumns())
562     {
563       draw(g1, startRes, endRes, startSeq, endSeq, offset);
564     }
565     else
566     {
567       int screenY = 0;
568       final int screenYMax = endRes - startRes;
569       int blockStart = startRes;
570       int blockEnd = endRes;
571
572       if (av.hasHiddenColumns())
573       {
574         HiddenColumns hidden = av.getAlignment().getHiddenColumns();
575         for (int[] region : hidden.getHiddenColumnsCopy())
576         {
577           int hideStart = region[0];
578           int hideEnd = region[1];
579
580           if (hideStart <= blockStart)
581           {
582             blockStart += (hideEnd - hideStart) + 1;
583             continue;
584           }
585
586           /*
587            * draw up to just before the next hidden region, or the end of
588            * the visible region, whichever comes first
589            */
590           blockEnd = Math.min(hideStart - 1, blockStart + screenYMax
591                   - screenY);
592
593           g1.translate(screenY * avcharWidth, 0);
594
595           draw(g1, blockStart, blockEnd, startSeq, endSeq, offset);
596
597           /*
598            * draw the downline of the hidden column marker (ScalePanel draws the
599            * triangle on top) if we reached it
600            */
601           if (av.getShowHiddenMarkers() && blockEnd == hideStart - 1)
602           {
603             g1.setColor(Color.blue);
604             g1.drawLine((blockEnd - blockStart + 1) * avcharWidth - 1,
605                     0 + offset,
606                     (blockEnd - blockStart + 1) * avcharWidth - 1,
607                     (endSeq - startSeq + 1) * avcharHeight + offset);
608           }
609
610           g1.translate(-screenY * avcharWidth, 0);
611           screenY += blockEnd - blockStart + 1;
612           blockStart = hideEnd + 1;
613
614           if (screenY > screenYMax)
615           {
616             // already rendered last block
617             return;
618           }
619         }
620       }
621       if (screenY <= screenYMax)
622       {
623         // remaining visible region to render
624         blockEnd = blockStart + (endRes - startRes) - screenY;
625         g1.translate(screenY * avcharWidth, 0);
626         draw(g1, blockStart, blockEnd, startSeq, endSeq, offset);
627
628         g1.translate(-screenY * avcharWidth, 0);
629       }
630     }
631
632   }
633
634   // int startRes, int endRes, int startSeq, int endSeq, int x, int y,
635   // int x1, int x2, int y1, int y2, int startx, int starty,
636   void draw(Graphics g, int startRes, int endRes, int startSeq, int endSeq,
637           int offset)
638   {
639     g.setFont(av.getFont());
640     sr.prepare(g, av.isRenderGaps());
641     updateViewport();
642     SequenceI nextSeq;
643
644     // / First draw the sequences
645     // ///////////////////////////
646     for (int i = startSeq; i <= endSeq; i++)
647     {
648       nextSeq = av.getAlignment().getSequenceAt(i);
649
650       if (nextSeq == null)
651       {
652         continue;
653       }
654
655       sr.drawSequence(nextSeq, av.getAlignment().findAllGroups(nextSeq),
656               startRes, endRes, offset + ((i - startSeq) * avcharHeight));
657
658       if (av.isShowSequenceFeatures())
659       {
660         fr.drawSequence(g, nextSeq, startRes, endRes,
661                 offset + ((i - startSeq) * avcharHeight), false);
662       }
663
664       // / Highlight search Results once all sequences have been drawn
665       // ////////////////////////////////////////////////////////
666       if (av.hasSearchResults())
667       {
668         int[] visibleResults = av.getSearchResults().getResults(nextSeq,
669                 startRes, endRes);
670         if (visibleResults != null)
671         {
672           for (int r = 0; r < visibleResults.length; r += 2)
673           {
674             sr.drawHighlightedText(nextSeq, visibleResults[r],
675                     visibleResults[r + 1],
676                     (visibleResults[r] - startRes) * avcharWidth,
677                     offset + ((i - startSeq) * avcharHeight));
678           }
679         }
680       }
681
682       if (av.cursorMode && cursorY == i && cursorX >= startRes
683               && cursorX <= endRes)
684       {
685         sr.drawCursor(nextSeq, cursorX, (cursorX - startRes) * avcharWidth,
686                 offset + ((i - startSeq) * avcharHeight));
687       }
688     }
689
690     if (av.getSelectionGroup() != null
691             || av.getAlignment().getGroups().size() > 0)
692     {
693       drawGroupsBoundaries(g, startRes, endRes, startSeq, endSeq, offset);
694     }
695
696   }
697
698   private void drawGroupsBoundaries(Graphics g, int startRes, int endRes,
699           int startSeq, int endSeq, int offset)
700   {
701     //
702     // ///////////////////////////////////
703     // Now outline any areas if necessary
704     // ///////////////////////////////////
705     SequenceGroup group = av.getSelectionGroup();
706
707     int sx = -1;
708     int sy = -1;
709     int ex = -1;
710     int groupIndex = -1;
711
712     if ((group == null) && (av.getAlignment().getGroups().size() > 0))
713     {
714       group = av.getAlignment().getGroups().get(0);
715       groupIndex = 0;
716     }
717
718     if (group != null)
719     {
720       do
721       {
722         int oldY = -1;
723         int i = 0;
724         boolean inGroup = false;
725         int top = -1;
726         int bottom = -1;
727         int alHeight = av.getAlignment().getHeight() - 1;
728
729         for (i = startSeq; i <= endSeq; i++)
730         {
731           sx = (group.getStartRes() - startRes) * avcharWidth;
732           sy = offset + ((i - startSeq) * avcharHeight);
733           ex = (((group.getEndRes() + 1) - group.getStartRes())
734                   * avcharWidth) - 1;
735
736           if (sx + ex < 0 || sx > imgWidth)
737           {
738             continue;
739           }
740
741           if ((sx <= (endRes - startRes) * avcharWidth)
742                   && group.getSequences(null)
743                           .contains(av.getAlignment().getSequenceAt(i)))
744           {
745             if ((bottom == -1)
746                     && (i >= alHeight || !group.getSequences(null).contains(
747                             av.getAlignment().getSequenceAt(i + 1))))
748             {
749               bottom = sy + avcharHeight;
750             }
751
752             if (!inGroup)
753             {
754               if (((top == -1) && (i == 0)) || !group.getSequences(null)
755                       .contains(av.getAlignment().getSequenceAt(i - 1)))
756               {
757                 top = sy;
758               }
759
760               oldY = sy;
761               inGroup = true;
762
763               if (group == av.getSelectionGroup())
764               {
765                 g.setColor(Color.red);
766               }
767               else
768               {
769                 g.setColor(group.getOutlineColour());
770               }
771             }
772           }
773           else
774           {
775             if (inGroup)
776             {
777               if (sx >= 0 && sx < imgWidth)
778               {
779                 g.drawLine(sx, oldY, sx, sy);
780               }
781
782               if (sx + ex < imgWidth)
783               {
784                 g.drawLine(sx + ex, oldY, sx + ex, sy);
785               }
786
787               if (sx < 0)
788               {
789                 ex += sx;
790                 sx = 0;
791               }
792
793               if (sx + ex > imgWidth)
794               {
795                 ex = imgWidth;
796               }
797
798               else if (sx + ex >= (endRes - startRes + 1) * avcharWidth)
799               {
800                 ex = (endRes - startRes + 1) * avcharWidth;
801               }
802
803               if (top != -1)
804               {
805                 g.drawLine(sx, top, sx + ex, top);
806                 top = -1;
807               }
808
809               if (bottom != -1)
810               {
811                 g.drawLine(sx, bottom, sx + ex, bottom);
812                 bottom = -1;
813               }
814
815               inGroup = false;
816             }
817           }
818         }
819
820         if (inGroup)
821         {
822           sy = offset + ((i - startSeq) * avcharHeight);
823           if (sx >= 0 && sx < imgWidth)
824           {
825             g.drawLine(sx, oldY, sx, sy);
826           }
827
828           if (sx + ex < imgWidth)
829           {
830             g.drawLine(sx + ex, oldY, sx + ex, sy);
831           }
832
833           if (sx < 0)
834           {
835             ex += sx;
836             sx = 0;
837           }
838
839           if (sx + ex > imgWidth)
840           {
841             ex = imgWidth;
842           }
843           else if (sx + ex >= (endRes - startRes + 1) * avcharWidth)
844           {
845             ex = (endRes - startRes + 1) * avcharWidth;
846           }
847
848           if (top != -1)
849           {
850             g.drawLine(sx, top, sx + ex, top);
851             top = -1;
852           }
853
854           if (bottom != -1)
855           {
856             g.drawLine(sx, bottom - 1, sx + ex, bottom - 1);
857             bottom = -1;
858           }
859
860           inGroup = false;
861         }
862
863         groupIndex++;
864
865         if (groupIndex >= av.getAlignment().getGroups().size())
866         {
867           break;
868         }
869
870         group = av.getAlignment().getGroups().get(groupIndex);
871       } while (groupIndex < av.getAlignment().getGroups().size());
872
873     }
874   }
875
876   public void highlightSearchResults(SearchResultsI results)
877   {
878     av.setSearchResults(results);
879     repaint();
880   }
881
882   @Override
883   public void propertyChange(PropertyChangeEvent evt)
884   {
885     String eventName = evt.getPropertyName();
886
887     if (!av.getWrapAlignment())
888     {
889       int scrollX = 0;
890       if (eventName.equals(ViewportRanges.STARTRES))
891       {
892         // Make sure we're not trying to draw a panel
893         // larger than the visible window
894         ViewportRanges vpRanges = av.getRanges();
895         scrollX = (int) evt.getNewValue() - (int) evt.getOldValue();
896         int range = vpRanges.getEndRes() - vpRanges.getStartRes();
897         if (scrollX > range)
898         {
899           scrollX = range;
900         }
901         else if (scrollX < -range)
902         {
903           scrollX = -range;
904         }
905       }
906
907       // Both scrolling and resizing change viewport ranges: scrolling changes
908       // both start and end points, but resize only changes end values.
909       // Here we only want to fastpaint on a scroll, with resize using a normal
910       // paint, so scroll events are identified as changes to the horizontal or
911       // vertical start value.
912       if (eventName.equals(ViewportRanges.STARTRES))
913       {
914         // scroll - startres and endres both change
915         fastPaint(scrollX, 0);
916       }
917       else if (eventName.equals(ViewportRanges.STARTSEQ))
918       {
919         // scroll
920         fastPaint(0, (int) evt.getNewValue() - (int) evt.getOldValue());
921       }
922     }
923   }
924
925 }