document a missing editor API

akkartik

Dec 19, 2023, 6:41 PM

O5YRFXFUCDFXABLU463TAPOVGDVB5C5ELHZTJKHEUT7JWAZ6UXOAC

Dependencies

• [2] 3HHPHDOO couple of typos
• [3] MXXCTVXW document facilities for buttons on screen
• [4] BZHJNMDN document some editor constants
• [5] H5UZI3YN editor documentation
• [*] N2NUGNN4 include a brief reference enabling many useful apps

Change contents

• edit in reference.md at line 206
  [3.824]→[2.168:279](∅→∅),[2.279]→[3.936:937](∅→∅),[3.936]→[3.936:937](∅→∅)
  − * `edit.update(state, dt)` -- call this from `App.update` to periodically

  − auto-save editor contents to disk.

  −
• edit in reference.md at line 223
  [3.1654]

  [3.1654]
  + * `edit.update(state, dt)` -- call this from `App.update` to periodically

  + auto-save editor contents to disk.

  +

  + * `edit.quit(state)` -- call this from `App.quit` to ensure any final edits

  + get saved before quitting.

  +