X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FScaleCanvas.java;h=d70824897af563c3d3a65363aea96f02ee3622c5;hb=4ea7364b143ad06a38fb9ce4c39e565ebe1ee9fb;hp=7e4b6176414de3d13ebef8b9f72692f7c1045ae9;hpb=51605ff0b3c81ba5894348745596b5038d905ffb;p=jalview.git

diff --git a/src/jalview/gui/ScaleCanvas.java b/src/jalview/gui/ScaleCanvas.java
index 7e4b617..d708248 100755
--- a/src/jalview/gui/ScaleCanvas.java
+++ b/src/jalview/gui/ScaleCanvas.java
@@ -26,7 +26,7 @@ public class ScaleCanvas extends JPanel {
   public void drawScale(Graphics gg, int startx, int endx, int scaleWidth)
   {
 
-    double charWidth  = av.getCharWidth();
+    int charWidth  = av.getCharWidth();
 
     gg.setFont(av.getFont());
 
@@ -66,7 +66,7 @@ public class ScaleCanvas extends JPanel {
 
     //Fill the selected columns
     ColumnSelection cs = av.getColumnSelection();
-    int width = (int)charWidth;
+    int width = charWidth;
     if (width == 0)
       width = 1;
 
@@ -76,7 +76,7 @@ public class ScaleCanvas extends JPanel {
       //      System.out.println("Selection = " + sel);
       if ( sel >= startx  && sel <= endx) {
 
-        gg.fillRect((int)((sel-startx)*charWidth),0,width,getHeight());
+        gg.fillRect((sel-startx)*charWidth,0,width,getHeight());
       }
     }
 
@@ -88,7 +88,7 @@ public class ScaleCanvas extends JPanel {
 
       String string = String.valueOf(i);
 
-      gg.drawString(string,(int)((i-startx-1)*charWidth),15);
+      gg.drawString(string,(i-startx-1)*charWidth,15);
       gg.drawLine( (int)((i-startx-1)*charWidth +charWidth/2), 17, (int)((i-startx-1)*charWidth +charWidth/2), 24);
 
     }