From 4335669ecc00bb940c53217076dd422f3eb1c0e6 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sun, 27 Nov 2022 22:27:23 -0800
Subject: [PATCH] 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 = {}