Revert "deemphasize the source editor"

[?]
Sep 11, 2023, 4:45 AM
GX236KZGJI2WG7O6ZUSHDH2T4MESLWZM6WAC3PAPH5LH62MN6IPQC

Dependencies

Change contents

  • edit in source.lua at line 1
    [3.165766][2.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.
  • replacement in main.lua at line 1
    [3.2][2.460:956]()
    -- Wrapper that combines the app with a 'source editor' that allows editing
    -- the app in place.
    --
    -- The source editor is 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.
    [3.2]
    [3.184171]
    -- Entrypoint for the app. You can edit this file from within the app if
    -- you're careful.
  • edit in README.md at line 37
    [12.739]
    [13.884]
    * `ctrl+e` to modify the sources