git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
JAL-3594 added BG and UoD logo and banner to splashscreens, and adjusted status text box
[jalview.git]
/
src
/
jalview
/
gui
/
ImageExporter.java
diff --git
a/src/jalview/gui/ImageExporter.java
b/src/jalview/gui/ImageExporter.java
index
a43eef0
..
5fb6951
100644
(file)
--- 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.ImageMaker;
import jalview.util.ImageMaker.TYPE;
import jalview.util.MessageManager;
+import jalview.util.Platform;
import java.awt.Component;
import java.awt.Graphics;
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);
String renderStyle = Cache.getDefault(
imageType.getName() + "_RENDERING",
LineartOptions.PROMPT_EACH_TIME);
- if (Jalview.isJS())
+ if (Platform.isJS())
{
renderStyle = "Text";
}
{
renderStyle = "Text";
}