From caafb3e4e64ca7d8b43308012c3e86b3af8fb176 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 24 Nov 2023 18:38:37 -0800 Subject: [PATCH] 2 bugfixes in font rendering --- 0031-on.resize | 5 +---- 0032-update_font_settings | 1 + 0114-update_output_editor | 7 +++++++ 3 files changed, 9 insertions(+), 4 deletions(-) create mode 100644 0114-update_output_editor diff --git a/0031-on.resize b/0031-on.resize index 5b7d8fe..ad334f0 100644 --- a/0031-on.resize +++ b/0031-on.resize @@ -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 \ No newline at end of file diff --git a/0032-update_font_settings b/0032-update_font_settings index 1c50827..82a16f1 100644 --- a/0032-update_font_settings +++ b/0032-update_font_settings @@ -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 \ No newline at end of file diff --git a/0114-update_output_editor b/0114-update_output_editor new file mode 100644 index 0000000..ed18160 --- /dev/null +++ b/0114-update_output_editor @@ -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 \ No newline at end of file