deemphasize the source editor

[?]
Apr 9, 2023, 6:00 PM
OB5XOXVCASIX4MVR736FMJFGOYRYRJELQ3SYC3T6TU2B6LYVNUCAC

Dependencies

Change contents

  • edit in source.lua at line 1
    [3.165766]
    [3.165767]
    -- 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][3.184079:184171]()
    -- Entrypoint for the app. You can edit this file from within the app if
    -- you're careful.
    [3.2]
    [3.184171]
    -- 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.
  • edit in README.md at line 37
    [2.739][3.210405:210438](),[3.91][3.210405:210438]()
    * `ctrl+e` to modify the sources