diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2023-09-10 21:45:59 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2023-09-10 21:45:59 -0700 |
commit | 706296388809984b20b32edf3fa8f576c85508c5 (patch) | |
tree | 1f0038c4b646dd4c051e3b721024ea792d5e4783 /source.lua | |
parent | 790b7f18dbfb6c7dfcc72a872bc62e6075af6ae8 (diff) | |
download | lines.love-706296388809984b20b32edf3fa8f576c85508c5.tar.gz |
Revert "deemphasize the source editor"
Now that we have decent error handling, I think we can encourage people to press ctrl+e again. This reverts commit 4b43e9e85d985bcedd105fa9693ae751e5b6d0b6.
Diffstat (limited to 'source.lua')
-rw-r--r-- | source.lua | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/source.lua b/source.lua index b4e1078..d9e44b6 100644 --- a/source.lua +++ b/source.lua @@ -1,10 +1,3 @@ --- 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. source = {} Editor_state = {} |