From 8d3680ab45f68c62615842e20607e7e6d3311210 Mon Sep 17 00:00:00 2001 From: Francesco Abbate Date: Sun, 19 Sep 2021 18:51:44 +0200 Subject: [PATCH] Scale custom syntax fonts for scale plugin Close #539. --- data/plugins/scale.lua | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/data/plugins/scale.lua b/data/plugins/scale.lua index 8d16304b..acf3c7bb 100644 --- a/data/plugins/scale.lua +++ b/data/plugins/scale.lua @@ -56,6 +56,10 @@ local function set_scale(scale) renderer.font.set_size(style.code_font, s * style.code_font:get_size()) end + for _, font in pairs(style.syntax_fonts) do + renderer.font.set_size(font, s * font:get_size()) + end + -- restore scroll positions for view, n in pairs(scrolls) do view.scroll.y = n * (view:get_scrollable_size() - view.size.y)