JAL-3085 spike - will need to cherrypick from this branch
[jalview.git] / src / jalview / gui / AlignmentPanel.java
index 2c5684a..56d993f 100644 (file)
@@ -1406,6 +1406,11 @@ public class AlignmentPanel extends GAlignmentPanel implements
     makeAlignmentImage(jalview.util.ImageMaker.TYPE.EPS, epsFile);
   }
 
+  public void makePDF(File pdfFile)
+  {
+    makeAlignmentImage(jalview.util.ImageMaker.TYPE.PDF, pdfFile);
+  }
+
   /**
    * DOCUMENT ME!
    */