B5O6ONSK7DAESRUB73RBP5J7ASYK2STSCEJZUJVO4DIXF4NKQMYAC
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