fastPaint modified incase scroll is more than page size

[jalview.git] / src / jalview / gui / ScalePanel.java

diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java
index 37cfcaf..e49eb17 100755 (executable)
--- a/src/jalview/gui/ScalePanel.java
+++ b/src/jalview/gui/ScalePanel.java
@@ -61,9 +61,11 @@ public class ScalePanel extends JPanel
 \r
       sg.setStartRes(res);\r
       sg.setEndRes(res);\r
+\r
+      ap.annotationPanel.addEditableColumn(res);\r
     }\r
     av.setSelectionGroup(sg);\r
-    ap.RefreshPanels();\r
+    ap.repaint();\r
   }\r
 \r
   public void doMouseReleased(MouseEvent evt)\r
@@ -85,7 +87,7 @@ public class ScalePanel extends JPanel
      sg.setStartRes(res);\r
 \r
    stretchingGroup = false;\r
-   ap.RefreshPanels();\r
+   ap.repaint();\r
   }\r
 \r
   public void doMouseDragged(MouseEvent evt)\r
@@ -102,7 +104,8 @@ public class ScalePanel extends JPanel
       else if (res < sg.getStartRes())\r
         sg.setStartRes(res);\r
 \r
-      ap.RefreshPanels();\r
+       ap.annotationPanel.addEditableColumn(res);\r
+      ap.repaint();\r
     }\r
   }\r
 \r
@@ -112,8 +115,10 @@ public class ScalePanel extends JPanel
   }\r
 \r
 // scalewidth will normally be screenwidth,\r
-  public void drawScale(Graphics gg, int startx, int endx, int scaleWidth)\r
+  public void drawScale(Graphics g, int startx, int endx, int scaleWidth)\r
   {\r
+    Graphics2D gg = (Graphics2D)g;\r
+    gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,RenderingHints.VALUE_ANTIALIAS_ON);\r
     int charWidth  = av.getCharWidth();\r
 \r
     gg.setFont(av.getFont());\r