From 4335669ecc00bb940c53217076dd422f3eb1c0e6 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 27 Nov 2022 22:27:23 -0800 Subject: repeat bugfix on source editor --- source_edit.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 = {} -- cgit 1.4.1-2-gfad0