From 8db2de64d5cd961c8e63803c5f5f02285e62aa9c Mon Sep 17 00:00:00 2001 From: Anshul Singhvi Date: Wed, 13 May 2020 18:17:19 +0530 Subject: [PATCH] forgot a `do` --- src/backends/gr.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/backends/gr.jl b/src/backends/gr.jl index 3986fa77..4ab388e5 100644 --- a/src/backends/gr.jl +++ b/src/backends/gr.jl @@ -782,7 +782,7 @@ end function _update_min_padding!(sp::Subplot{GRBackend}) has_user_gkswstype = haskey(ENV, "GKSwstype") - withenv("GKSwstype" => 100, "GKS_ENCODING" => "utf8") + withenv("GKSwstype" => 100, "GKS_ENCODING" => "utf8") do dpi = sp.plt[:thickness_scaling] if has_user_gkswstype && isijulia() ENV["GKSwstype"] = "svg"