From 24efbd38f2c3dceaf6d3e305eef41ba0b0c9ebdc Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 7 Apr 2005 13:17:56 +0000
Subject: [PATCH] GRPAH_HEIGHT variable

---
 src/jalview/gui/AnnotationPanel.java |   10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/src/jalview/gui/AnnotationPanel.java b/src/jalview/gui/AnnotationPanel.java
index f14b199..48f9c20 100755
--- a/src/jalview/gui/AnnotationPanel.java
+++ b/src/jalview/gui/AnnotationPanel.java
@@ -31,6 +31,8 @@ public class AnnotationPanel extends JPanel implements MouseListener, MouseMotio
 
   boolean fastPaint = false;
 
+  public static int GRAPH_HEIGHT = 40;
+
 
 
   public AnnotationPanel(AlignmentPanel ap)
@@ -70,7 +72,7 @@ public class AnnotationPanel extends JPanel implements MouseListener, MouseMotio
         aa[i].height += 16;
 
       if (aa[i].isGraph)
-        aa[i].height += 50;
+        aa[i].height += GRAPH_HEIGHT;
 
       if(aa[i].height==0)
         aa[i].height = 20;
@@ -497,7 +499,7 @@ public class AnnotationPanel extends JPanel implements MouseListener, MouseMotio
        if (validRes && row.isGraph)
        {
          g.setColor(new Color(0,0,180));
-         int height = (int)((row.annotations[j].value / row.graphMax)*50);
+         int height = (int)((row.annotations[j].value / row.graphMax)*GRAPH_HEIGHT);
 
          if(row.windowLength>1)
          {
@@ -511,7 +513,7 @@ public class AnnotationPanel extends JPanel implements MouseListener, MouseMotio
            }
 
            total/=row.windowLength;
-           height = (int)( (total / row.graphMax) *50);
+           height = (int)( (total / row.graphMax) *GRAPH_HEIGHT);
 
          }
 
@@ -565,7 +567,7 @@ public class AnnotationPanel extends JPanel implements MouseListener, MouseMotio
     for(int j=0; j<aa.annotations.length; j++)
     {
       g.setColor(new Color(0, 0, 180));
-      int height = (int) ( (aa.annotations[j].value / aa.graphMax) * 50);
+      int height = (int) ( (aa.annotations[j].value / aa.graphMax) * GRAPH_HEIGHT );
       g.fillRect(x, y - height, av.charWidth, height);
       x+=av.charWidth;
     }
-- 
1.7.10.2