JAL-2600 fast painting on resize
[jalview.git] / src / jalview / gui / AnnotationPanel.java
index c688789..e98b79e 100755 (executable)
@@ -971,7 +971,7 @@ public class AnnotationPanel extends JPanel implements AwtRenderPanelI,
    * @param horizontal
    *          repaint with horizontal shift in alignment
    */
-  public void fastPaint(int horizontal)
+  public void fastPaint(int horizontal, boolean isresize)
   {
     if ((horizontal == 0) || gg == null
             || av.getAlignment().getAlignmentAnnotation() == null
@@ -981,22 +981,46 @@ public class AnnotationPanel extends JPanel implements AwtRenderPanelI,
       repaint();
       return;
     }
-    long stime = System.currentTimeMillis();
-    gg.copyArea(0, 0, imgWidth, getHeight(),
-            -horizontal * av.getCharWidth(), 0);
-    long mtime = System.currentTimeMillis();
+
     int sr = av.getRanges().getStartRes();
     int er = av.getRanges().getEndRes() + 1;
     int transX = 0;
+    long stime;
+    long mtime;
 
-    if (horizontal > 0) // scrollbar pulled right, image to the left
+    if (isresize)
     {
-      transX = (er - sr - horizontal) * av.getCharWidth();
-      sr = er - horizontal;
+      imgWidth = (av.getRanges().getEndRes() - av.getRanges().getStartRes()
+              + 1) * av.getCharWidth();
+
+      BufferedImage newimage = new BufferedImage(imgWidth,
+              ap.getAnnotationPanel().getHeight(),
+              BufferedImage.TYPE_INT_ARGB);
+
+      gg = (Graphics2D) newimage.getGraphics();
+      gg.setFont(av.getFont());
+      gg.drawImage(image, null, 0, 0);
+      image = newimage;
+
+      transX = (er - horizontal - sr) * av.getCharWidth();
+      sr = er - horizontal - sr;
     }
-    else if (horizontal < 0)
+    else
     {
-      er = sr - horizontal;
+      stime = System.currentTimeMillis();
+      gg.copyArea(0, 0, imgWidth, getHeight(),
+              -horizontal * av.getCharWidth(), 0);
+      mtime = System.currentTimeMillis();
+
+      if (horizontal > 0) // scrollbar pulled right, image to the left
+      {
+        transX = (er - sr - horizontal) * av.getCharWidth();
+        sr = er - horizontal;
+      }
+      else if (horizontal < 0)
+      {
+        er = sr - horizontal;
+      }
     }
 
     gg.translate(transX, 0);
@@ -1170,11 +1194,12 @@ public class AnnotationPanel extends JPanel implements AwtRenderPanelI,
     // Respond to viewport range changes (e.g. alignment panel was scrolled)
     if (evt.getPropertyName().equals("startres"))
     {
-      fastPaint((int) evt.getNewValue() - (int) evt.getOldValue());
+      fastPaint((int) evt.getNewValue() - (int) evt.getOldValue(), false);
     }
     else if (evt.getPropertyName().equals("endres"))
     {
       // resize
+      fastPaint((int) evt.getNewValue() - (int) evt.getOldValue(), true);
     }
   }
 }