repeat bugfix on source editor

[?]
Nov 28, 2022, 6:27 AM
TYFAGQWSPMYFJEV742DCGZ3X7J23DMDXZ2QVNOHFNOCHWSYVMDUQC

Dependencies

  • [2] KKMFQDR4 editing source code from within the app
  • [3] OI4FPFIN support drawings in the source editor
  • [4] 2WGHUWE6 self-documenting 0 Test_right_margin

Change contents

  • replacement in source_edit.lua at line 516
    [2.163992][2.163992:164065]()
    love.graphics.setFont(love.graphics.newFont(Editor_state.font_height))
    [2.163992]
    [2.164065]
    love.graphics.setFont(love.graphics.newFont(State.font_height))