From b7c070c8110258c023fdd6e3b49ad9aab7ad2fa5 Mon Sep 17 00:00:00 2001 From: tcofoegbu Date: Mon, 15 Aug 2016 16:54:17 +0100 Subject: [PATCH] JAL-1128 fix for truncated bottom boarder pixels in figures generated from wrapped alignment --- src/jalview/gui/AlignmentPanel.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index b16e243..87d5933 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -1269,7 +1269,7 @@ public class AlignmentPanel extends GAlignmentPanel implements void makeAlignmentImage(jalview.util.ImageMaker.TYPE type, File file) { - int boarderBottomOffset = 0; + int boarderBottomOffset = 5; long pSessionId = System.currentTimeMillis(); headless = (System.getProperty("java.awt.headless") != null && System .getProperty("java.awt.headless").equals("true")); -- 1.7.10.2