diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2022-11-27 22:28:33 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2022-11-27 22:28:33 -0800 |
commit | 8645ddf7e0830cec23d17a5c273b945e9df22a66 (patch) | |
tree | 7348f25226fab7e71ebd158624ac6b63a3caf892 | |
parent | 5283c16e5cf2dca39f908ae7c2e8ff230c835824 (diff) | |
parent | 4335669ecc00bb940c53217076dd422f3eb1c0e6 (diff) | |
download | view.love-8645ddf7e0830cec23d17a5c273b945e9df22a66.tar.gz |
Merge lines.love
-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 = {} |