diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2022-11-27 22:27:23 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2022-11-27 22:27:23 -0800 |
commit | 4335669ecc00bb940c53217076dd422f3eb1c0e6 (patch) | |
tree | 119ac2217c9fbffd8ab28241175828ac3ddc7b05 | |
parent | 7557e0904aaab50622480c6bc08a8439a57d57d7 (diff) | |
download | text.love-4335669ecc00bb940c53217076dd422f3eb1c0e6.tar.gz |
repeat bugfix on source editor
-rw-r--r-- | source_edit.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source_edit.lua b/source_edit.lua index ab2fa33..b927cb5 100644 --- a/source_edit.lua +++ b/source_edit.lua @@ -513,7 +513,7 @@ end function edit.update_font_settings(State, font_height) State.font_height = font_height - love.graphics.setFont(love.graphics.newFont(Editor_state.font_height)) + love.graphics.setFont(love.graphics.newFont(State.font_height)) State.line_height = math.floor(font_height*1.3) State.em = App.newText(love.graphics.getFont(), 'm') Text_cache = {} |