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 /edit.lua | |
parent | 320f68ba43c4f7b44072110827eabb648462a78e (diff) | |
parent | 6bd2086b51251ee469b4c9d937624e3be4d97410 (diff) | |
download | view.love-6c568c6ef0d69fddcbaf93d233e46a7e75ee7845.tar.gz |
Merge text.love
Diffstat (limited to 'edit.lua')
-rw-r--r-- | edit.lua | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/edit.lua b/edit.lua index 9ee2c14..b8f44f6 100644 --- a/edit.lua +++ b/edit.lua @@ -10,7 +10,7 @@ Margin_right = 25 edit = {} -- run in both tests and a real run -function edit.initialize_state(top, left, right, font_height, line_height) -- currently always draws to bottom of screen +function edit.initialize_state(top, left, right, font, font_height, line_height) -- currently always draws to bottom of screen local result = { lines = {{data=''}}, -- array of strings @@ -47,6 +47,7 @@ function edit.initialize_state(top, left, right, font_height, line_height) -- c cursor_x = 0, cursor_y = 0, + font = font, font_height = font_height, line_height = line_height, @@ -62,7 +63,7 @@ function edit.initialize_state(top, left, right, font_height, line_height) -- c search_backup = nil, -- stuff to restore when cancelling search } return result -end -- App.initialize_state +end -- edit.initialize_state function edit.check_locs(State) -- if State is inconsistent (i.e. file changed by some other program), @@ -94,6 +95,7 @@ end -- return y drawn until function edit.draw(State) + love.graphics.setFont(State.font) App.color(Text_color) assert(#State.lines == #State.line_cache, ('line_cache is out of date; %d elements when it should be %d'):format(#State.line_cache, #State.lines)) assert(Text.le1(State.screen_top1, State.cursor1), ('screen_top (line=%d,pos=%d) is below cursor (line=%d,pos=%d)'):format(State.screen_top1.line, State.screen_top1.pos, State.cursor1.line, State.cursor1.pos)) @@ -309,7 +311,7 @@ end function edit.update_font_settings(State, font_height) State.font_height = font_height - love.graphics.setFont(love.graphics.newFont(State.font_height)) + State.font = love.graphics.newFont(State.font_height) State.line_height = math.floor(font_height*1.3) end @@ -326,7 +328,8 @@ function edit.initialize_test_state() 15, -- top margin Test_margin_left, App.screen.width - Test_margin_right, - 14, -- font height assuming default LÖVE font + love.graphics.getFont(), + 14, 15) -- line height end |