From ee997eb2c852dac879c2814f3e01d0de184852d7 Mon Sep 17 00:00:00 2001 From: piever Date: Wed, 14 Feb 2018 11:33:11 +0000 Subject: [PATCH] gr defaults to png on IJulia --- src/output.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/output.jl b/src/output.jl index 88caeeee8..02b0ea828 100644 --- a/src/output.jl +++ b/src/output.jl @@ -171,7 +171,8 @@ const _mimeformats = Dict( const _best_html_output_type = KW( :pyplot => :png, :unicodeplots => :txt, - :glvisualize => :png + :glvisualize => :png, + :gr => :png ) # a backup for html... passes to svg or png depending on the html_output_format arg