From: amwaterhouse Date: Wed, 19 Jul 2006 15:20:34 +0000 (+0000) Subject: Correct highlighted res height X-Git-Tag: Release_2_1~263 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=2fe69b1daf995aab4a68bca001e6ee30f4f70d13;p=jalview.git Correct highlighted res height --- 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); } } }