Give extra pixel for graph values Release_2_04
authoramwaterhouse <Andrew Waterhouse>
Wed, 24 Aug 2005 11:24:58 +0000 (11:24 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 24 Aug 2005 11:24:58 +0000 (11:24 +0000)
src/jalview/appletgui/AnnotationPanel.java
src/jalview/gui/AnnotationPanel.java

index 8e9469a..c6d3b4e 100755 (executable)
@@ -342,7 +342,7 @@ public class AnnotationPanel
                 || row.annotations[0].secondaryStructure == 'E')\r
             {\r
               g.drawString(row.annotations[j].displayCharacter, x,\r
-                           y + iconOffset + 2);\r
+                           y + iconOffset + 3);\r
             }\r
           }\r
           else if ( (row.annotations[j].secondaryStructure == 'H'\r
@@ -353,13 +353,13 @@ public class AnnotationPanel
           {\r
 \r
             g.drawString(row.annotations[j].displayCharacter, x + charOffset,\r
-                         y + iconOffset + 2);\r
+                         y + iconOffset + 3);\r
           }\r
 \r
           if (!row.hasIcons)\r
           {\r
             g.drawString(row.annotations[j].displayCharacter, x + charOffset,\r
-                         y + iconOffset + 2);\r
+                         y + iconOffset + 3);\r
           }\r
         }\r
 \r
index b8570a9..4d3fc0f 100755 (executable)
@@ -697,14 +697,14 @@ public class AnnotationPanel extends JPanel implements MouseListener,
                     if (j == 0 || row.isGraph)\r
                     {\r
                         g.drawString(row.annotations[j].displayCharacter, x+charOffset,\r
-                            y + iconOffset + 2);\r
+                            y + iconOffset + 3);\r
                     }\r
                     else if (((row.annotations[j - 1] == null) ||\r
                             (row.annotations[j].displayCharacter != row.annotations[j -\r
                             1].displayCharacter)))\r
                     {\r
                         g.drawString(row.annotations[j].displayCharacter, x+charOffset,\r
-                            y + iconOffset + 2);\r
+                            y + iconOffset + 3);\r
                     }\r
                 }\r
 \r