Merge lines.love

Dependencies

• [2] M3F33OYQ Merge lines.love
• [3] JZR3QMTN Merge lines.love
• [4] GX236KZG Revert "deemphasize the source editor"
• [5] UEE5W7WJ document one more shortcut
• [6] MOAEVTKJ clean up a few more loose ends
• [7] KKMFQDR4 editing source code from within the app
• [8] D4FEFHQC flesh out Readme
• [9] E5FYDACS a likely source of issues
• [10] SBS2F7GR link to export tool
• [11] VNTRXQSX Merge lines.love
• [12] BH7BT36L ctrl+a: select entire buffer
• [13] JOPVPUSA editing source code from within the app
• [*] FS2ITYYH record a known issue

Change contents

• edit in source.lua at line 1
  [5.165829]→[3.12:454](∅→∅)
  − -- Source editor that lets me edit the app from within. However, it's a sharp

  − -- tool. I find it convenient, but I also often end up in a bad state that

  − -- requires dropping down to external tools (editor, file manager) to fix.

  − --

  − -- Downstream forks provide a better, "freewheeling" experience for editing

  − -- apps live. The source editor provides a half-baked experience for editing

  − -- some of the primitives used by true freewheeling apps.
• edit in README.md at line 38
  [5.739]

  [5.18]
  + * `ctrl+e` to modify the sources
• edit in README.md at line 93
  [5.1673]→[2.16:16](∅→∅),[5.739]→[4.130:163](∅→∅),[5.739]→[4.130:163](∅→∅)
  −

  − * `ctrl+e` to modify the sources
• resolve order conflict in README.md at line 93
  [5.1673]