From b56f333d06624db6e1d763650418e9e5ed3adbcd Mon Sep 17 00:00:00 2001 From: gmungoc Date: Sun, 14 Jul 2019 20:52:31 +0100 Subject: [PATCH] JAL-3364 white fill before writing --- src/jalview/gui/AlignmentPanel.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index f2fdad3..3fad3de 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -1176,7 +1176,8 @@ public class AlignmentPanel extends GAlignmentPanel implements .getAlignPanel(); dim2 = comp.getAlignmentDimension(); } - final int graphicsHeight = dim1.height + dim2.height; + final int graphicsHeight = dim1.height + dim2.height + + borderBottomOffset; final int graphicsWidth = Math.max(dim1.width, dim2.width); jalview.util.ImageMaker im; @@ -1198,7 +1199,7 @@ public class AlignmentPanel extends GAlignmentPanel implements } im = new jalview.util.ImageMaker(this, type, imageAction, - graphicsWidth, graphicsHeight + borderBottomOffset, file, + graphicsWidth, graphicsHeight, file, imageTitle, alignFrame, pSessionId, headless); Graphics graphics = im.getGraphics(); if (graphics == null) -- 1.7.10.2