return height of editor widget after drawing

[?]
Jun 6, 2023, 7:52 PM
QQBP3G6WZSIOAFPOGHWJCX3E4K66KOPVYNPZRMKUBXPLDTJ32XSAC

Dependencies

  • [2] ERQKFTPV extract method
  • [*] 2L5MEZV3 experiment: new edit namespace
  • [*] LNUHQOGH start passing in Editor_state explicitly

Change contents

  • edit in edit.lua at line 141
    [2.366]
    [5.2701]
    -- return y drawn until
  • edit in edit.lua at line 200
    [4.6090]
    [4.6090]
    return y