Broken since commit 3b36093553 5 hours ago.
ELIVOJ4NG3XKL4X2D3WYUPAPPZPDT7QL6F55Y4ZZYNBX4WORU6ZAC
AVTNUQYRBW7IX2YQ3KDLVQ23RGW3BAKTAE7P73ASBYNKOHMQMH5AC
Z4KNS42NJZTQKUQZ7B5NYU2U4VOCUQCBFT2D7423MAXKF7NQ5ZJAC
OTIBCAUJ3KDQJLVDN3A536DLZGNRYMGJLORZVR3WLCGXGO6UGO6AC
function initialize_font_settings(font_height) Editor_state.font_height = font_height love.graphics.setFont(love.graphics.newFont(Editor_state.font_height)) Editor_state.line_height = math.floor(font_height*1.3) Editor_state.em = App.newText(love.graphics.getFont(), 'm')end
function initialize_font_settings(font_height)
Editor_state.font_height = font_height
love.graphics.setFont(love.graphics.newFont(Editor_state.font_height))
Editor_state.line_height = math.floor(font_height*1.3)
Editor_state.em = App.newText(love.graphics.getFont(), 'm')
end