diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2023-12-29 12:02:45 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2023-12-29 12:02:45 -0800 |
| commit | aa6bfb4b15ea75fa289b78cacc7de38f41daf69a (patch) | |
| tree | 1017e441d761131c4bfc60ef32c77a19b6242d7c | |
| parent | bd2179d8aa37e6088f20faae08fd6564a33e18c1 (diff) | |
| download | text.love-aa6bfb4b15ea75fa289b78cacc7de38f41daf69a.tar.gz | |
moar bugfix X-(
| -rw-r--r-- | source.lua | 2 | ||||
| -rw-r--r-- | 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, |