2 bugfixes in font rendering

This commit is contained in:
Kartik K. Agaram 2023-11-24 18:38:37 -08:00
parent 14994f7678
commit caafb3e4e6
3 changed files with 9 additions and 4 deletions

View File

@ -8,9 +8,6 @@ on.resize = function()
pane.editor_state.width = pane.editor_state.right - pane.editor_state.left
pane.editor_state.bottom = Safe_height/2-5
Text.redraw_all(pane.editor_state)
pane.output_editor_state.top = pane.editor_state.bottom+5+10+5
pane.output_editor_state.right = pane.editor_state.right
pane.output_editor_state.width = pane.editor_state.width
pane.output_editor_state.bottom = Safe_height - 5
update_output_editor(pane)
end
end

View File

@ -15,5 +15,6 @@ update_font_settings = function(font_height)
pane.editor_state.width = pane.editor_state.right - pane.editor_state.left
edit.update_font_settings(pane.editor_state, font_height)
Text.redraw_all(pane.editor_state)
update_output_editor(pane)
end
end

View File

@ -0,0 +1,7 @@
update_output_editor = function(pane)
pane.output_editor_state.top = pane.editor_state.bottom+5+10+5
pane.output_editor_state.right = pane.editor_state.right
pane.output_editor_state.width = pane.editor_state.width
pane.output_editor_state.bottom = Safe_height - 5
Text.redraw_all(pane.output_editor_state)
end