Sort by added to preferences
[jalview.git] / src / jalview / gui / AnnotationPanel.java
index 4d3fc0f..8a262d9 100755 (executable)
@@ -519,29 +519,32 @@ public class AnnotationPanel extends JPanel implements MouseListener,
      */\r
     public void paintComponent(Graphics g)\r
     {\r
-        g.setColor(Color.white);\r
-        g.fillRect(0, 0, getWidth(), getHeight());\r
-\r
-        if (fastPaint)\r
-        {\r
-            g.drawImage(image, 0, 0, this);\r
-            fastPaint = false;\r
+      g.setColor(Color.white);\r
+      g.fillRect(0, 0, getWidth(), getHeight());\r
 \r
-            return;\r
-        }\r
+      if (fastPaint)\r
+      {\r
+        g.drawImage(image, 0, 0, this);\r
+        fastPaint = false;\r
+        return;\r
+      }\r
 \r
-        imgWidth = (av.endRes - av.startRes + 1) * av.charWidth;\r
+      imgWidth = (av.endRes - av.startRes + 1) * av.charWidth;\r
 \r
+      if (image == null || imgWidth != image.getWidth())\r
+      {\r
         image = new BufferedImage(imgWidth, ap.annotationPanel.getHeight(),\r
-                BufferedImage.TYPE_INT_RGB);\r
+                                  BufferedImage.TYPE_INT_RGB);\r
         gg = (Graphics2D) image.getGraphics();\r
         gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,\r
-            RenderingHints.VALUE_ANTIALIAS_ON);\r
+                            RenderingHints.VALUE_ANTIALIAS_ON);\r
 \r
         gg.setFont(av.getFont());\r
+        fm = gg.getFontMetrics();\r
+      }\r
 \r
-        drawComponent(gg, av.startRes, av.endRes + 1);\r
-        g.drawImage(image, 0, 0, this);\r
+      drawComponent(gg, av.startRes, av.endRes + 1);\r
+      g.drawImage(image, 0, 0, this);\r
     }\r
 \r
     /**\r
@@ -583,7 +586,9 @@ public class AnnotationPanel extends JPanel implements MouseListener,
         gg.translate(-transX, 0);\r
 \r
         fastPaint = true;\r
+\r
         repaint();\r
+\r
     }\r
 \r
     /**\r
@@ -595,9 +600,6 @@ public class AnnotationPanel extends JPanel implements MouseListener,
      */\r
     public void drawComponent(Graphics2D g, int startRes, int endRes)\r
     {\r
-      if(fm==null)\r
-        fm = g.getFontMetrics();\r
-\r
         g.setColor(Color.white);\r
         g.fillRect(0, 0, (endRes - startRes) * av.charWidth, getHeight());\r
 \r