Correct highlighted res height
authoramwaterhouse <Andrew Waterhouse>
Wed, 19 Jul 2006 15:20:34 +0000 (15:20 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 19 Jul 2006 15:20:34 +0000 (15:20 +0000)
commit2fe69b1daf995aab4a68bca001e6ee30f4f70d13
tree674d2b790d4a3b181db919fb924a1463122112d5
parent0a9efc350cacfca8bbc1c317b9fdfbbc0ba511c6
Correct highlighted res height
src/jalview/gui/AnnotationPanel.java