From 38fac06c61046ef7eac2c362148e9d1df7d49ec0 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 17 Aug 2006 12:33:55 +0000 Subject: [PATCH] 1 more pixel allowed between chars and graph --- src/jalview/gui/AnnotationPanel.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/jalview/gui/AnnotationPanel.java b/src/jalview/gui/AnnotationPanel.java index 549d531..8bed8e2 100755 --- a/src/jalview/gui/AnnotationPanel.java +++ b/src/jalview/gui/AnnotationPanel.java @@ -708,7 +708,7 @@ public class AnnotationPanel extends JPanel implements MouseListener, if (row.hasText) { - iconOffset = av.charHeight / 2; + iconOffset = av.charHeight / 2 + 4; } else { @@ -773,7 +773,7 @@ public class AnnotationPanel extends JPanel implements MouseListener, { g.drawString(row.annotations[column].displayCharacter, (x*av.charWidth)+charOffset, - y + iconOffset + 3); + y + iconOffset ); } else if ( row.annotations[column - 1] == null @@ -785,7 +785,7 @@ public class AnnotationPanel extends JPanel implements MouseListener, { g.drawString(row.annotations[column].displayCharacter, x*av.charWidth+charOffset, - y + iconOffset + 3); + y + iconOffset ); } } -- 1.7.10.2