diff options
Diffstat (limited to 'Build/source/utils/asymptote/base/plain_shipout.asy')
-rw-r--r-- | Build/source/utils/asymptote/base/plain_shipout.asy | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Build/source/utils/asymptote/base/plain_shipout.asy b/Build/source/utils/asymptote/base/plain_shipout.asy index 9b30e6e1947..972f44963c3 100644 --- a/Build/source/utils/asymptote/base/plain_shipout.asy +++ b/Build/source/utils/asymptote/base/plain_shipout.asy @@ -30,9 +30,14 @@ object embed3(string, frame, string, string, string, light, projection); string Embed(string name, string text="", string options="", real width=0, real height=0); +bool prconly(string format="") +{ + return outformat(format) == "prc"; +} + bool prc0(string format="") { - return settings.prc && (outformat(format) == "pdf" || settings.inlineimage); + return settings.prc && (outformat(format) == "pdf" || prconly() || settings.inlineimage ); } bool prc(string format="") { @@ -106,7 +111,7 @@ void shipout(string prefix=defaultfilename, picture pic=currentpicture, settings.inlinetex=settings.inlineimage; } frame f=pic.fit(prefix,format,view=view,options,script,light,P); - if(!pic.empty2() || settings.render == 0 || prc || empty3) + if(!prconly() && (!pic.empty2() || settings.render == 0 || prc || empty3)) shipout(prefix,orientation(f),format,wait,view); settings.inlinetex=inlinetex; } |