From 8e3f76cb6f929fb28a92343b61509029ab05773b Mon Sep 17 00:00:00 2001 From: Josef Heinen Date: Wed, 24 Jun 2020 16:38:57 +0200 Subject: [PATCH] gr: fix problem with ugly exponents (#2810) --- src/backends/gr.jl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/backends/gr.jl b/src/backends/gr.jl index 9fc59392..0cfeadc2 100644 --- a/src/backends/gr.jl +++ b/src/backends/gr.jl @@ -752,7 +752,10 @@ function gr_convert_sci_tick_label(label) base, exponent = caret_split label = "$base^{$exponent}" end - convert_sci_unicode(label) + if occursin("×10", label) + label = string(replace(label, "×10" => "×10^{"), "}") + end + label end function gr_axis_height(sp, axis)