JAL-3858 annotation .height is bigger than graphHeight so adjacent PAE matrices are...
authorJames Procter <j.procter@dundee.ac.uk>
Tue, 18 Jul 2023 14:40:31 +0000 (15:40 +0100)
committerJames Procter <j.procter@dundee.ac.uk>
Tue, 18 Jul 2023 14:40:31 +0000 (15:40 +0100)
src/jalview/viewmodel/AlignmentViewport.java

index a8c93cf..33cb9dc 100644 (file)
@@ -2132,7 +2132,7 @@ public abstract class AlignmentViewport
 
         if (aa.graph > 0)
         {
-          aa.height += aa.graphHeight;
+          aa.height += aa.graphHeight+20;
         }
 
         if (aa.height == 0)