X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignmentPanel.java;h=4c662147d4304f42463603aa95332cf0aa1fa0fb;hb=8edebdd9789b2d93fb8f9db24b8be2c1e6317690;hp=ad7e75c50b2852a8100ad6e0a81f5e81fb0b4f96;hpb=c54d46db524f1acf7cf4659a9603bbe50518440f;p=jalview.git diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index ad7e75c..4c66214 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -29,10 +29,12 @@ import jalview.datamodel.SearchResults; import jalview.datamodel.SequenceFeature; import jalview.datamodel.SequenceGroup; import jalview.datamodel.SequenceI; +import jalview.io.HTMLOutput; import jalview.jbgui.GAlignmentPanel; import jalview.math.AlignmentDimension; import jalview.schemes.ResidueProperties; import jalview.structure.StructureSelectionManager; +import jalview.util.ImageMaker; import jalview.util.MessageManager; import jalview.util.Platform; @@ -1237,7 +1239,7 @@ public class AlignmentPanel extends GAlignmentPanel implements return idwidth.intValue() + 4; } - void makeAlignmentImage(jalview.util.ImageMaker.TYPE type, File file) + void makeAlignmentImage(ImageMaker.TYPE type, File file) { long progress = System.currentTimeMillis(); headless = (System.getProperty("java.awt.headless") != null && System @@ -1253,14 +1255,14 @@ public class AlignmentPanel extends GAlignmentPanel implements AlignmentDimension aDimension = getAlignmentDimension(); try { - jalview.util.ImageMaker im; + ImageMaker im; final String imageAction, imageTitle; - if (type == jalview.util.ImageMaker.TYPE.PNG) + if (type == ImageMaker.TYPE.PNG) { imageAction = "Create PNG image from alignment"; imageTitle = null; } - else if (type == jalview.util.ImageMaker.TYPE.EPS) + else if (type == ImageMaker.TYPE.EPS) { imageAction = "Create EPS file from alignment"; imageTitle = alignFrame.getTitle(); @@ -1271,7 +1273,7 @@ public class AlignmentPanel extends GAlignmentPanel implements imageTitle = alignFrame.getTitle(); } - im = new jalview.util.ImageMaker(this, type, imageAction, + im = new ImageMaker(this, type, imageAction, aDimension.getWidth(), aDimension.getHeight(), file, imageTitle); if (av.getWrapAlignment()) @@ -1357,7 +1359,7 @@ public class AlignmentPanel extends GAlignmentPanel implements */ public void makeEPS(File epsFile) { - makeAlignmentImage(jalview.util.ImageMaker.TYPE.EPS, epsFile); + makeAlignmentImage(ImageMaker.TYPE.EPS, epsFile); } /** @@ -1365,12 +1367,12 @@ public class AlignmentPanel extends GAlignmentPanel implements */ public void makePNG(File pngFile) { - makeAlignmentImage(jalview.util.ImageMaker.TYPE.PNG, pngFile); + makeAlignmentImage(ImageMaker.TYPE.PNG, pngFile); } public void makeSVG(File svgFile) { - makeAlignmentImage(jalview.util.ImageMaker.TYPE.SVG, svgFile); + makeAlignmentImage(ImageMaker.TYPE.SVG, svgFile); } public void makePNGImageMap(File imgMapFile, String imageName) { @@ -1390,7 +1392,7 @@ public class AlignmentPanel extends GAlignmentPanel implements .getAlignment().getWidth(), g, gSize, f, fSize, sy; StringBuffer text = new StringBuffer(); PrintWriter out = new PrintWriter(new FileWriter(imgMapFile)); - out.println(jalview.io.HTMLOutput.getImageMapHTML()); + out.println(HTMLOutput.getImageMapHTML()); out.println("" + ""); @@ -1566,7 +1568,7 @@ public class AlignmentPanel extends GAlignmentPanel implements PaintRefresher.RemoveComponent(this); if (av != null) { - jalview.structure.StructureSelectionManager ssm = av + StructureSelectionManager ssm = av .getStructureSelectionManager(); ssm.removeStructureViewerListener(getSeqPanel(), null); ssm.removeSelectionListener(getSeqPanel());