X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignmentPanel.java;h=50c89f556802e61319f45994459d898db711a4b3;hb=eee02848424734a9466de35ff19636377652e59b;hp=b3b28651d0ceecc5555bad3c510db8abffb11ad9;hpb=e5c2e37b24f09c90f2f7c748f6be10ce025da261;p=jalview.git

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index b3b2865..50c89f5 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -771,6 +771,33 @@ public class AlignmentPanel extends GAlignmentPanel
      */
     public void makeEPS(File epsFile)
     {
+      boolean accurateText = true;
+
+      String renderStyle = jalview.bin.Cache.getDefault("EPS_RENDERING",
+          "Prompt each time");
+
+      // If we need to prompt, and if the GUI is visible then
+      // Prompt for EPS rendering style
+      if (renderStyle.equalsIgnoreCase("Prompt each time")
+          && !
+          (System.getProperty("java.awt.headless") != null
+           && System.getProperty("java.awt.headless").equals("true")))
+      {
+        EPSOptions eps = new EPSOptions();
+        renderStyle = eps.getValue();
+
+        if(eps.cancelled || renderStyle==null)
+          return;
+
+        renderStyle = eps.getValue();
+      }
+
+      if (renderStyle.equalsIgnoreCase("text"))
+      {
+        accurateText = false;
+      }
+
+
         if(epsFile == null)
         {
           jalview.io.JalviewFileChooser chooser = new jalview.io.
@@ -816,12 +843,14 @@ public class AlignmentPanel extends GAlignmentPanel
 
         try
          {
-            FileOutputStream out = new FileOutputStream(epsFile);
-            EpsGraphics2D pg = new EpsGraphics2D("Example", out, 0, 0, width,
-                    height);
+           FileOutputStream out = new FileOutputStream(epsFile);
+           EpsGraphics2D pg = new EpsGraphics2D("Example", out, 0, 0, width,
+                                                height);
 
-            if (av.getWrapAlignment())
-            {
+           pg.setAccurateTextMode(accurateText);
+
+           if (av.getWrapAlignment())
+           {
                 printWrappedAlignment(pg, width, height, 0);
             }
             else