Merge branch 'develop' into features/JAL-1705_ensembl
[jalview.git] / src / jalview / appletgui / IdCanvas.java
index 5204094..16bba0b 100755 (executable)
@@ -57,8 +57,7 @@ public class IdCanvas extends Panel
   }
 
   public void drawIdString(Graphics gg, boolean hiddenRows, SequenceI s,
-          int i, int starty,
-          int ypos)
+          int i, int starty, int ypos)
   {
     int charHeight = av.getCharHeight();
 
@@ -187,6 +186,7 @@ public class IdCanvas extends Panel
    * local copy of av.getCharHeight set at top of drawIds
    */
   private int avcharHeight;
+
   void drawIds(int starty, int endy)
   {
     // hardwired italic IDs in applet currently
@@ -356,19 +356,17 @@ public class IdCanvas extends Panel
     gg.setColor(Color.blue);
     if (below)
     {
-      gg.fillPolygon(new int[]
-      { getSize().width - avcharHeight, getSize().width - avcharHeight,
-          getSize().width }, new int[]
-      { (i - starty) * avcharHeight + yoffset,
+      gg.fillPolygon(new int[] { getSize().width - avcharHeight,
+          getSize().width - avcharHeight, getSize().width }, new int[] {
+          (i - starty) * avcharHeight + yoffset,
           (i - starty) * avcharHeight + yoffset + avcharHeight / 4,
           (i - starty) * avcharHeight + yoffset }, 3);
     }
     if (above)
     {
-      gg.fillPolygon(new int[]
-      { getSize().width - avcharHeight, getSize().width - avcharHeight,
-          getSize().width }, new int[]
-      { (i - starty + 1) * avcharHeight + yoffset,
+      gg.fillPolygon(new int[] { getSize().width - avcharHeight,
+          getSize().width - avcharHeight, getSize().width }, new int[] {
+          (i - starty + 1) * avcharHeight + yoffset,
           (i - starty + 1) * avcharHeight + yoffset - avcharHeight / 4,
           (i - starty + 1) * avcharHeight + yoffset }, 3);