parent
849614a3cb
commit
8d3680ab45
|
@ -56,6 +56,10 @@ local function set_scale(scale)
|
||||||
renderer.font.set_size(style.code_font, s * style.code_font:get_size())
|
renderer.font.set_size(style.code_font, s * style.code_font:get_size())
|
||||||
end
|
end
|
||||||
|
|
||||||
|
for _, font in pairs(style.syntax_fonts) do
|
||||||
|
renderer.font.set_size(font, s * font:get_size())
|
||||||
|
end
|
||||||
|
|
||||||
-- restore scroll positions
|
-- restore scroll positions
|
||||||
for view, n in pairs(scrolls) do
|
for view, n in pairs(scrolls) do
|
||||||
view.scroll.y = n * (view:get_scrollable_size() - view.size.y)
|
view.scroll.y = n * (view:get_scrollable_size() - view.size.y)
|
||||||
|
|
Loading…
Reference in New Issue