diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2023-12-29 14:30:35 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2023-12-29 14:30:35 -0800 |
commit | 6c568c6ef0d69fddcbaf93d233e46a7e75ee7845 (patch) | |
tree | 61196b126c21a94c4d8a0e933aa5c5246d9230e9 /source.lua | |
parent | 320f68ba43c4f7b44072110827eabb648462a78e (diff) | |
parent | 6bd2086b51251ee469b4c9d937624e3be4d97410 (diff) | |
download | view.love-6c568c6ef0d69fddcbaf93d233e46a7e75ee7845.tar.gz |
Merge text.love
Diffstat (limited to 'source.lua')
-rw-r--r-- | source.lua | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/source.lua b/source.lua index 30de6a3..dfd17e2 100644 --- a/source.lua +++ b/source.lua @@ -114,7 +114,7 @@ end function source.load_settings() local settings = Settings.source - love.graphics.setFont(love.graphics.newFont(settings.font_height)) + local font = love.graphics.newFont(settings.font_height) -- set up desired window dimensions and make window resizable _, _, App.screen.flags = App.screen.size() App.screen.flags.resizable = true @@ -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, settings.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 @@ -152,12 +152,10 @@ end function source.initialize_default_settings() local font_height = 20 - love.graphics.setFont(love.graphics.newFont(font_height)) + local font = love.graphics.newFont(font_height) source.initialize_window_geometry() - Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), App.screen.width-Margin_right) + Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), App.screen.width-Margin_right, font, font_height, math.floor(font_height*1.3)) Editor_state.filename = 'run.lua' - Editor_state.font_height = font_height - Editor_state.line_height = math.floor(font_height*1.3) end function source.initialize_window_geometry() |