From: tcofoegbu <tcnofoegbu@dundee.ac.uk>
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();
           }
         }