From b07c7cb77f73eecaea77b66b9b5f7f9071e0e1e0 Mon Sep 17 00:00:00 2001 From: tcofoegbu Date: Mon, 15 Aug 2016 16:46:00 +0100 Subject: [PATCH] JAL-1128 fix for truncated bottom boarder pixels in figures generated from wrapped alignment --- src/jalview/gui/AlignmentPanel.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index f06ca94..b16e243 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -1269,6 +1269,7 @@ public class AlignmentPanel extends GAlignmentPanel implements void makeAlignmentImage(jalview.util.ImageMaker.TYPE type, File file) { + int boarderBottomOffset = 0; long pSessionId = System.currentTimeMillis(); headless = (System.getProperty("java.awt.headless") != null && System .getProperty("java.awt.headless").equals("true")); @@ -1305,14 +1306,15 @@ public class AlignmentPanel extends GAlignmentPanel implements } im = new jalview.util.ImageMaker(this, type, imageAction, - aDimension.getWidth(), aDimension.getHeight(), file, + aDimension.getWidth(), aDimension.getHeight() + + boarderBottomOffset, file, imageTitle, alignFrame, pSessionId, headless); if (av.getWrapAlignment()) { if (im.getGraphics() != null) { printWrappedAlignment(im.getGraphics(), aDimension.getWidth(), - aDimension.getHeight(), 0); + aDimension.getHeight() + boarderBottomOffset, 0); im.writeImage(); } } -- 1.7.10.2