git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
9ee0ce2
)
JAL-1128 fix for truncated bottom boarder pixels in figures generated from wrapped...
author
tcofoegbu
<tcnofoegbu@dundee.ac.uk>
Mon, 15 Aug 2016 15:46:00 +0000
(16:46 +0100)
committer
tcofoegbu
<tcnofoegbu@dundee.ac.uk>
Mon, 15 Aug 2016 15:46:00 +0000
(16:46 +0100)
src/jalview/gui/AlignmentPanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/AlignmentPanel.java
b/src/jalview/gui/AlignmentPanel.java
index
f06ca94
..
b16e243
100644
(file)
--- 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)
{
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"));
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,
}
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(),
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();
}
}
im.writeImage();
}
}