modules/javafx.graphics/src/main/java/com/sun/prism/impl/PrismSettings.java

@@ -54,10 +54,11 @@
     public static final boolean useNewImageLoader;
     public static final List<String> tryOrder;
     public static final int prismStatFrequency;
     public static final boolean doNativePisces;
     public static final boolean useMarlinRasterizer;
+    public static final boolean useMarlinRasterizerDP;
     public static final String refType;
     public static final boolean forceRepaint;
     public static final boolean noFallback;
     public static final boolean showDirtyRegions;
     public static final boolean showOverdraw;

@@ -213,11 +214,12 @@
             }
         }
 
         tryOrder = Collections.unmodifiableList(Arrays.asList(tryOrderArr));
 
-        useMarlinRasterizer = getBoolean(systemProperties, "prism.marlinrasterizer", false);
+        useMarlinRasterizer   = getBoolean(systemProperties, "prism.marlinrasterizer", false);
+        useMarlinRasterizerDP = getBoolean(systemProperties, "prism.marlin.double", false);
         if (useMarlinRasterizer) {
             doNativePisces = false;
         } else {
             String npprop = systemProperties.getProperty("prism.nativepisces");
             if (npprop == null) {

@@ -260,11 +262,12 @@
             for (String s : tryOrder) {
                 System.out.print(s+" ");
             }
             System.out.println("");
             if (useMarlinRasterizer) {
-                System.out.println("Using Marlin rasterizer");
+                String prectype = (useMarlinRasterizerDP ? "double" : "float");
+                System.out.println("Using Marlin rasterizer (" + prectype +')');
             } else {
                 String piscestype = (doNativePisces ? "native" : "java");
                 System.out.println("Using " + piscestype + "-based Pisces rasterizer");
             }
             printBooleanOption(dirtyOptsEnabled, "Using dirty region optimizations");