love.graphics.setFont(love.graphics.newFont(Editor_state.font_height))

  love.graphics.setFont(love.graphics.newFont(State.font_height))