use the obvious name for the font global

akkartik

Dec 15, 2023, 3:06 AM

IUOZ4YHCQEZU3HTIYSPYSVFYZZXESS62DPMGFB3GP7GHGVATMFKAC

Dependencies

• [2] 7RIDCIVG handle scripts that change the font
• [3] IQW6KIIL bugfix: changing font size
• [4] ZENSSO3D pass remaining love handlers through
• [5] YV2GBDNW preserve settings across restart
• [6] PRE6XPRN responsively increase/decrease font height
• [7] ZM7NOBRM new fork: carousel shell
• [8] RK2ASPN7 add lots of buttons to the toolbar
• [9] 6DJMOJKE support event handlers
• [10] 4OMG2P5E isolate editor UI from some app changes
• [11] HVXZLNCC send errors from event handlers to output editor
• [12] FIUQJVL2 first draft of load/save buttons

Change contents

• replacement in 0032-update_font_settings at line 3
  [4.934]→[3.127:215](∅→∅)
  − CarouselFont = love.graphics.newFont(Font_height)

  − love.graphics.setFont(CarouselFont)
  [4.934]

  [4.935]
  + Font = love.graphics.newFont(Font_height)

  + love.graphics.setFont(Font)
• replacement in 0012-on.draw at line 13
  [4.1893]→[2.145:182](∅→∅)
  − love.graphics.setFont(CarouselFont)
  [4.1893]

  [4.0]
  + love.graphics.setFont(Font)
• replacement in 0011-on.initialize at line 4
  [4.362]→[2.184:272](∅→∅)
  − CarouselFont = love.graphics.newFont(Font_height)

  − love.graphics.setFont(CarouselFont)
  [4.362]

  [4.1057]
  + Font = love.graphics.newFont(Font_height)

  + love.graphics.setFont(Font)