handle scripts that change the font

akkartik

Dec 14, 2023, 2:24 AM

7RIDCIVGFB4SPMCJHL4ZO65AY4BA6TV34XCTI6TYDDW4AXKF77TAC

Dependencies

• [2] ZENSSO3D pass remaining love handlers through
• [3] 4OMG2P5E isolate editor UI from some app changes
• [4] ZM7NOBRM new fork: carousel shell
• [5] FIUQJVL2 first draft of load/save buttons
• [6] YV2GBDNW preserve settings across restart
• [*] HVXZLNCC send errors from event handlers to output editor

Change contents

• edit in 0012-on.draw at line 13
  [8.1893]

  [3.0]
  + love.graphics.setFont(CarouselFont)
• replacement in 0011-on.initialize at line 4
  [2.362]→[4.998:1057](∅→∅),[4.3103]→[4.998:1057](∅→∅)
  − love.graphics.setFont(love.graphics.newFont(Font_height))
  [2.362]

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

  + love.graphics.setFont(CarouselFont)