JAL-2647 more iterators
[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.Iterator;
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         Iterator<Integer> it = hidden.getBoundedStartIterator(startRes,
495                 endx + 1, true);
496         while (it.hasNext())
497         {
498           res = it.next() - startRes;
499           gg.fillPolygon(
500                   new int[]
501                   { res * avcharWidth - avcharHeight / 4, res * avcharWidth + avcharHeight / 4, res * avcharWidth },
502                   new int[]
503                   { ypos - (avcharHeight / 2), ypos - (avcharHeight / 2), ypos - (avcharHeight / 2) + 8 }, 3);
504         }
505       }
506   
507       if (g.getClip() == null)
508       {
509         g.setClip(0, 0, cWidth * avcharWidth, canvasHeight);
510       }
511   
512       drawPanel(g, startRes, endx, 0, al.getHeight() - 1, ypos);
513       g.setClip(null);
514   
515       if (av.isShowAnnotation())
516       {
517         g.translate(0, cHeight + ypos + 4);
518         if (annotations == null)
519         {
520           annotations = new AnnotationPanel(av);
521         }
522   
523         annotations.drawComponent(g, startRes, endx + 1);
524         g.translate(0, -cHeight - ypos - 4);
525       }
526       g.translate(-LABEL_WEST, 0);
527   
528       ypos += cHeight + getAnnotationHeight() + hgap;
529   
530       startRes += cWidth;
531     }
532   
533   }
534
535   AnnotationPanel annotations;
536
537   int getAnnotationHeight()
538   {
539     if (!av.isShowAnnotation())
540     {
541       return 0;
542     }
543
544     if (annotations == null)
545     {
546       annotations = new AnnotationPanel(av);
547     }
548
549     return annotations.adjustPanelHeight();
550   }
551
552   private void drawPanel(Graphics g1, final int startRes, final int endRes,
553           final int startSeq, final int endSeq, final int offset)
554   {
555
556     if (!av.hasHiddenColumns())
557     {
558       draw(g1, startRes, endRes, startSeq, endSeq, offset);
559     }
560     else
561     {
562       int screenY = 0;
563       final int screenYMax = endRes - startRes;
564       int blockStart = startRes;
565       int blockEnd = endRes;
566
567       HiddenColumns hidden = av.getAlignment().getHiddenColumns();
568       Iterator<int[]> regions = hidden.getBoundedVisRegionIterator(startRes,
569               endRes);
570       while (regions.hasNext())
571       {
572         int[] region = regions.next();
573
574         blockStart = region[0];
575
576         /*
577          * draw up to just before the next hidden region, or the end of
578          * the visible region, whichever comes first
579          */
580         blockEnd = Math.min(region[1], blockStart + screenYMax - screenY);
581
582         g1.translate(screenY * avcharWidth, 0);
583
584         draw(g1, blockStart, blockEnd, startSeq, endSeq, offset);
585
586         /*
587          * draw the downline of the hidden column marker (ScalePanel draws the
588          * triangle on top) if we reached it
589          */
590         if (av.getShowHiddenMarkers() && blockEnd == region[1])
591         {
592           g1.setColor(Color.blue);
593           g1.drawLine((blockEnd - blockStart + 1) * avcharWidth - 1,
594                   0 + offset, (blockEnd - blockStart + 1) * avcharWidth - 1,
595                   (endSeq - startSeq + 1) * avcharHeight + offset);
596         }
597
598         g1.translate(-screenY * avcharWidth, 0);
599         screenY += blockEnd - blockStart + 1;
600
601         if (screenY > screenYMax)
602         {
603           // already rendered last block
604           return;
605         }
606       }
607       if (screenY <= screenYMax)
608       {
609         // remaining visible region to render
610         blockEnd = blockStart + (endRes - startRes) - screenY;
611         g1.translate(screenY * avcharWidth, 0);
612         draw(g1, blockStart, blockEnd, startSeq, endSeq, offset);
613
614         g1.translate(-screenY * avcharWidth, 0);
615       }
616     }
617
618   }
619
620   // int startRes, int endRes, int startSeq, int endSeq, int x, int y,
621   // int x1, int x2, int y1, int y2, int startx, int starty,
622   void draw(Graphics g, int startRes, int endRes, int startSeq, int endSeq,
623           int offset)
624   {
625     g.setFont(av.getFont());
626     sr.prepare(g, av.isRenderGaps());
627     updateViewport();
628     SequenceI nextSeq;
629
630     // / First draw the sequences
631     // ///////////////////////////
632     for (int i = startSeq; i <= endSeq; i++)
633     {
634       nextSeq = av.getAlignment().getSequenceAt(i);
635
636       if (nextSeq == null)
637       {
638         continue;
639       }
640
641       sr.drawSequence(nextSeq, av.getAlignment().findAllGroups(nextSeq),
642               startRes, endRes, offset + ((i - startSeq) * avcharHeight));
643
644       if (av.isShowSequenceFeatures())
645       {
646         fr.drawSequence(g, nextSeq, startRes, endRes,
647                 offset + ((i - startSeq) * avcharHeight), false);
648       }
649
650       // / Highlight search Results once all sequences have been drawn
651       // ////////////////////////////////////////////////////////
652       if (av.hasSearchResults())
653       {
654         int[] visibleResults = av.getSearchResults().getResults(nextSeq,
655                 startRes, endRes);
656         if (visibleResults != null)
657         {
658           for (int r = 0; r < visibleResults.length; r += 2)
659           {
660             sr.drawHighlightedText(nextSeq, visibleResults[r],
661                     visibleResults[r + 1],
662                     (visibleResults[r] - startRes) * avcharWidth,
663                     offset + ((i - startSeq) * avcharHeight));
664           }
665         }
666       }
667
668       if (av.cursorMode && cursorY == i && cursorX >= startRes
669               && cursorX <= endRes)
670       {
671         sr.drawCursor(nextSeq, cursorX, (cursorX - startRes) * avcharWidth,
672                 offset + ((i - startSeq) * avcharHeight));
673       }
674     }
675
676     if (av.getSelectionGroup() != null
677             || av.getAlignment().getGroups().size() > 0)
678     {
679       drawGroupsBoundaries(g, startRes, endRes, startSeq, endSeq, offset);
680     }
681
682   }
683
684   private void drawGroupsBoundaries(Graphics g, int startRes, int endRes,
685           int startSeq, int endSeq, int offset)
686   {
687     //
688     // ///////////////////////////////////
689     // Now outline any areas if necessary
690     // ///////////////////////////////////
691     SequenceGroup group = av.getSelectionGroup();
692
693     int sx = -1;
694     int sy = -1;
695     int ex = -1;
696     int groupIndex = -1;
697
698     if ((group == null) && (av.getAlignment().getGroups().size() > 0))
699     {
700       group = av.getAlignment().getGroups().get(0);
701       groupIndex = 0;
702     }
703
704     if (group != null)
705     {
706       do
707       {
708         int oldY = -1;
709         int i = 0;
710         boolean inGroup = false;
711         int top = -1;
712         int bottom = -1;
713         int alHeight = av.getAlignment().getHeight() - 1;
714
715         for (i = startSeq; i <= endSeq; i++)
716         {
717           sx = (group.getStartRes() - startRes) * avcharWidth;
718           sy = offset + ((i - startSeq) * avcharHeight);
719           ex = (((group.getEndRes() + 1) - group.getStartRes())
720                   * avcharWidth) - 1;
721
722           if (sx + ex < 0 || sx > imgWidth)
723           {
724             continue;
725           }
726
727           if ((sx <= (endRes - startRes) * avcharWidth)
728                   && group.getSequences(null)
729                           .contains(av.getAlignment().getSequenceAt(i)))
730           {
731             if ((bottom == -1)
732                     && (i >= alHeight || !group.getSequences(null).contains(
733                             av.getAlignment().getSequenceAt(i + 1))))
734             {
735               bottom = sy + avcharHeight;
736             }
737
738             if (!inGroup)
739             {
740               if (((top == -1) && (i == 0)) || !group.getSequences(null)
741                       .contains(av.getAlignment().getSequenceAt(i - 1)))
742               {
743                 top = sy;
744               }
745
746               oldY = sy;
747               inGroup = true;
748
749               if (group == av.getSelectionGroup())
750               {
751                 g.setColor(Color.red);
752               }
753               else
754               {
755                 g.setColor(group.getOutlineColour());
756               }
757             }
758           }
759           else
760           {
761             if (inGroup)
762             {
763               if (sx >= 0 && sx < imgWidth)
764               {
765                 g.drawLine(sx, oldY, sx, sy);
766               }
767
768               if (sx + ex < imgWidth)
769               {
770                 g.drawLine(sx + ex, oldY, sx + ex, sy);
771               }
772
773               if (sx < 0)
774               {
775                 ex += sx;
776                 sx = 0;
777               }
778
779               if (sx + ex > imgWidth)
780               {
781                 ex = imgWidth;
782               }
783
784               else if (sx + ex >= (endRes - startRes + 1) * avcharWidth)
785               {
786                 ex = (endRes - startRes + 1) * avcharWidth;
787               }
788
789               if (top != -1)
790               {
791                 g.drawLine(sx, top, sx + ex, top);
792                 top = -1;
793               }
794
795               if (bottom != -1)
796               {
797                 g.drawLine(sx, bottom, sx + ex, bottom);
798                 bottom = -1;
799               }
800
801               inGroup = false;
802             }
803           }
804         }
805
806         if (inGroup)
807         {
808           sy = offset + ((i - startSeq) * avcharHeight);
809           if (sx >= 0 && sx < imgWidth)
810           {
811             g.drawLine(sx, oldY, sx, sy);
812           }
813
814           if (sx + ex < imgWidth)
815           {
816             g.drawLine(sx + ex, oldY, sx + ex, sy);
817           }
818
819           if (sx < 0)
820           {
821             ex += sx;
822             sx = 0;
823           }
824
825           if (sx + ex > imgWidth)
826           {
827             ex = imgWidth;
828           }
829           else if (sx + ex >= (endRes - startRes + 1) * avcharWidth)
830           {
831             ex = (endRes - startRes + 1) * avcharWidth;
832           }
833
834           if (top != -1)
835           {
836             g.drawLine(sx, top, sx + ex, top);
837             top = -1;
838           }
839
840           if (bottom != -1)
841           {
842             g.drawLine(sx, bottom - 1, sx + ex, bottom - 1);
843             bottom = -1;
844           }
845
846           inGroup = false;
847         }
848
849         groupIndex++;
850
851         if (groupIndex >= av.getAlignment().getGroups().size())
852         {
853           break;
854         }
855
856         group = av.getAlignment().getGroups().get(groupIndex);
857       } while (groupIndex < av.getAlignment().getGroups().size());
858
859     }
860   }
861
862   public void highlightSearchResults(SearchResultsI results)
863   {
864     av.setSearchResults(results);
865     repaint();
866   }
867
868   @Override
869   public void propertyChange(PropertyChangeEvent evt)
870   {
871     String eventName = evt.getPropertyName();
872
873     if (!av.getWrapAlignment())
874     {
875       int scrollX = 0;
876       if (eventName.equals(ViewportRanges.STARTRES))
877       {
878         // Make sure we're not trying to draw a panel
879         // larger than the visible window
880         ViewportRanges vpRanges = av.getRanges();
881         scrollX = (int) evt.getNewValue() - (int) evt.getOldValue();
882         int range = vpRanges.getEndRes() - vpRanges.getStartRes();
883         if (scrollX > range)
884         {
885           scrollX = range;
886         }
887         else if (scrollX < -range)
888         {
889           scrollX = -range;
890         }
891       }
892
893       // Both scrolling and resizing change viewport ranges: scrolling changes
894       // both start and end points, but resize only changes end values.
895       // Here we only want to fastpaint on a scroll, with resize using a normal
896       // paint, so scroll events are identified as changes to the horizontal or
897       // vertical start value.
898       if (eventName.equals(ViewportRanges.STARTRES))
899       {
900         // scroll - startres and endres both change
901         fastPaint(scrollX, 0);
902       }
903       else if (eventName.equals(ViewportRanges.STARTSEQ))
904       {
905         // scroll
906         fastPaint(0, (int) evt.getNewValue() - (int) evt.getOldValue());
907       }
908     }
909   }
910
911 }