From: amwaterhouse Date: Wed, 24 Aug 2005 11:24:58 +0000 (+0000) Subject: Give extra pixel for graph values X-Git-Tag: Release_2_04 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=refs%2Ftags%2FRelease_2_04;p=jalview.git Give extra pixel for graph values --- diff --git a/src/jalview/appletgui/AnnotationPanel.java b/src/jalview/appletgui/AnnotationPanel.java index 8e9469a..c6d3b4e 100755 --- a/src/jalview/appletgui/AnnotationPanel.java +++ b/src/jalview/appletgui/AnnotationPanel.java @@ -342,7 +342,7 @@ public class AnnotationPanel || row.annotations[0].secondaryStructure == 'E') { g.drawString(row.annotations[j].displayCharacter, x, - y + iconOffset + 2); + y + iconOffset + 3); } } else if ( (row.annotations[j].secondaryStructure == 'H' @@ -353,13 +353,13 @@ public class AnnotationPanel { g.drawString(row.annotations[j].displayCharacter, x + charOffset, - y + iconOffset + 2); + y + iconOffset + 3); } if (!row.hasIcons) { g.drawString(row.annotations[j].displayCharacter, x + charOffset, - y + iconOffset + 2); + y + iconOffset + 3); } } diff --git a/src/jalview/gui/AnnotationPanel.java b/src/jalview/gui/AnnotationPanel.java index b8570a9..4d3fc0f 100755 --- a/src/jalview/gui/AnnotationPanel.java +++ b/src/jalview/gui/AnnotationPanel.java @@ -697,14 +697,14 @@ public class AnnotationPanel extends JPanel implements MouseListener, if (j == 0 || row.isGraph) { g.drawString(row.annotations[j].displayCharacter, x+charOffset, - y + iconOffset + 2); + y + iconOffset + 3); } else if (((row.annotations[j - 1] == null) || (row.annotations[j].displayCharacter != row.annotations[j - 1].displayCharacter))) { g.drawString(row.annotations[j].displayCharacter, x+charOffset, - y + iconOffset + 2); + y + iconOffset + 3); } }