From 2fe69b1daf995aab4a68bca001e6ee30f4f70d13 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 19 Jul 2006 15:20:34 +0000
Subject: [PATCH] Correct highlighted res height

---
 src/jalview/gui/AnnotationPanel.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/gui/AnnotationPanel.java b/src/jalview/gui/AnnotationPanel.java
index 30d9068..8173085 100755
--- a/src/jalview/gui/AnnotationPanel.java
+++ b/src/jalview/gui/AnnotationPanel.java
@@ -756,7 +756,7 @@ public class AnnotationPanel extends JPanel implements MouseListener,
                             if (v == column)
                             {
                                 g.fillRect(x * av.charWidth, y,
-                                    av.charWidth, row.height);
+                                    av.charWidth, av.charHeight);
                             }
                         }
                     }
-- 
1.7.10.2