From: tcofoegbu Date: Mon, 15 Aug 2016 15:46:00 +0000 (+0100) Subject: JAL-1128 fix for truncated bottom boarder pixels in figures generated from wrapped... X-Git-Tag: Release_2_10_0~109 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=b07c7cb77f73eecaea77b66b9b5f7f9071e0e1e0;p=jalview.git JAL-1128 fix for truncated bottom boarder pixels in figures generated from wrapped alignment --- 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(); } }