git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f0821f9
)
1 more pixel allowed between chars and graph
author
amwaterhouse
<Andrew Waterhouse>
Thu, 17 Aug 2006 12:33:55 +0000
(12:33 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Thu, 17 Aug 2006 12:33:55 +0000
(12:33 +0000)
src/jalview/gui/AnnotationPanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/AnnotationPanel.java
b/src/jalview/gui/AnnotationPanel.java
index
549d531
..
8bed8e2
100755
(executable)
--- a/
src/jalview/gui/AnnotationPanel.java
+++ b/
src/jalview/gui/AnnotationPanel.java
@@
-708,7
+708,7
@@
public class AnnotationPanel extends JPanel implements MouseListener,
\r
if (row.hasText)
\r
{
\r
- iconOffset = av.charHeight / 2;
\r
+ iconOffset = av.charHeight / 2 + 4;
\r
}
\r
else
\r
{
\r
@@
-773,7
+773,7
@@
public class AnnotationPanel extends JPanel implements MouseListener,
{
\r
g.drawString(row.annotations[column].displayCharacter,
\r
(x*av.charWidth)+charOffset,
\r
- y + iconOffset + 3);
\r
+ y + iconOffset );
\r
}
\r
else if (
\r
row.annotations[column - 1] == null
\r
@@
-785,7
+785,7
@@
public class AnnotationPanel extends JPanel implements MouseListener,
{
\r
g.drawString(row.annotations[column].displayCharacter,
\r
x*av.charWidth+charOffset,
\r
- y + iconOffset + 3);
\r
+ y + iconOffset );
\r
}
\r
}
\r
\r