From e5ca08e13fb6424f4aea0ae4413c01dd48c9d68e Mon Sep 17 00:00:00 2001 From: jgmdev Date: Sat, 5 Mar 2022 19:03:33 -0400 Subject: [PATCH] plugin scale: replace non existing font.set_size with font.copy --- data/plugins/scale.lua | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/data/plugins/scale.lua b/data/plugins/scale.lua index f36b1ff3..698b7b3a 100644 --- a/data/plugins/scale.lua +++ b/data/plugins/scale.lua @@ -50,12 +50,8 @@ local function set_scale(scale) style.code_font = renderer.font.copy(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 - - for _, font in pairs(style.syntax_fonts) do - renderer.font.set_size(font, s * font:get_size()) + for name, font in pairs(style.syntax_fonts) do + style.syntax_fonts[name] = renderer.font.copy(font, s * font:get_size()) end -- restore scroll positions