From 50101c6da4cd0c6cd3d0438fa66905aae30b58b7 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Wed, 24 Aug 2005 11:24:58 +0000 Subject: [PATCH] Give extra pixel for graph values --- src/jalview/appletgui/AnnotationPanel.java | 6 +++--- src/jalview/gui/AnnotationPanel.java | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) 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); } } -- 1.7.10.2