X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FImageExporter.java;h=5fb69512a4c6cd5e5555a28970439a855b271673;hb=26b115b0a77d521da92a06572d9b7819c2d0d49a;hp=a43eef08b8ac1de6b91fd7c360341050da62858e;hpb=2ff87ed8f1a344303ed46c9fda7d11fd4d469dc7;p=jalview.git

diff --git a/src/jalview/gui/ImageExporter.java b/src/jalview/gui/ImageExporter.java
index a43eef0..5fb6951 100644
--- a/src/jalview/gui/ImageExporter.java
+++ b/src/jalview/gui/ImageExporter.java
@@ -7,6 +7,7 @@ import jalview.io.JalviewFileView;
 import jalview.util.ImageMaker;
 import jalview.util.ImageMaker.TYPE;
 import jalview.util.MessageManager;
+import jalview.util.Platform;
 
 import java.awt.Component;
 import java.awt.Graphics;
@@ -124,7 +125,7 @@ public class ImageExporter
     String renderStyle = Cache.getDefault(
             imageType.getName() + "_RENDERING",
             LineartOptions.PROMPT_EACH_TIME);
-    if (Jalview.isJS())
+    if (Platform.isJS())
     {
       renderStyle = "Text";
     }