From c238d42e83cc5ced01a6a50461244f10ffd7f176 Mon Sep 17 00:00:00 2001 From: Josef Heinen Date: Sat, 11 Apr 2020 09:46:03 +0200 Subject: [PATCH] gr: added initial support for GR vector fonts --- src/backends/gr.jl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/backends/gr.jl b/src/backends/gr.jl index 0f81c208..86d19165 100644 --- a/src/backends/gr.jl +++ b/src/backends/gr.jl @@ -67,6 +67,11 @@ const gr_font_family = Dict( "palatino" => 26 ) +const gr_vector_font = Dict( + "serif-roman" => 232, + "sans-serif" => 233 +) + # -------------------------------------------------------------------------------------- gr_color(c) = gr_color(c, color_type(c)) @@ -390,6 +395,8 @@ function gr_set_font(f::Font; halign = f.halign, valign = f.valign, GR.setcharup(sind(-rotation), cosd(-rotation)) if haskey(gr_font_family, family) GR.settextfontprec(100 + gr_font_family[family], GR.TEXT_PRECISION_STRING) + elseif haskey(gr_vector_font, family) + GR.settextfontprec(gr_vector_font[family], 3) end gr_set_textcolor(color) GR.settextalign(gr_halign[halign], gr_valign[valign])