plugin scale: replace non existing font.set_size with font.copy

This commit is contained in:
jgmdev 2022-03-05 19:03:33 -04:00
parent 1fa1960b05
commit e5ca08e13f
1 changed files with 2 additions and 6 deletions

View File

@ -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