From aa6bfb4b15ea75fa289b78cacc7de38f41daf69a Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 29 Dec 2023 12:02:45 -0800 Subject: [PATCH] moar bugfix X-( --- source.lua | 2 +- source_edit.lua | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/source.lua b/source.lua index 14d7afc..1aa1f74 100644 --- a/source.lua +++ b/source.lua @@ -126,7 +126,7 @@ function source.load_settings() if Show_log_browser_side then right = App.screen.width/2 - Margin_right end - Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), right, font, font_height, math.floor(settings.font_height*1.3)) + Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), right, font, settings.font_height, math.floor(settings.font_height*1.3)) Editor_state.filename = settings.filename Editor_state.filename = basename(Editor_state.filename) -- migrate settings that used full paths; we now support only relative paths within the app if settings.cursors then diff --git a/source_edit.lua b/source_edit.lua index 8032278..f58d7e3 100644 --- a/source_edit.lua +++ b/source_edit.lua @@ -86,7 +86,7 @@ function edit.initialize_state(top, left, right, font, font_height, line_height) previous_drawing_mode = nil, -- extra state for some ephemeral modes like moving/deleting/naming points font = font, - font_height = font:getHeight(), + font_height = font_height, line_height = line_height, top = top,