JAL-1645 Version-Rel Version 2.9 Year-Rel 2015 Licensing glob

[jalview.git] / src / jalview / appletgui / IdCanvas.java

diff --git a/src/jalview/appletgui/IdCanvas.java b/src/jalview/appletgui/IdCanvas.java
index 5204094..58a4f10 100755 (executable)
--- a/src/jalview/appletgui/IdCanvas.java
+++ b/src/jalview/appletgui/IdCanvas.java
@@ -1,6 +1,6 @@
 /*
- * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
- * Copyright (C) $$Year-Rel$$ The Jalview Authors
+ * Jalview - A Sequence Alignment Editor and Viewer (Version 2.9)
+ * Copyright (C) 2015 The Jalview Authors
  * 
  * This file is part of Jalview.
  * 
@@ -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);