From 706296388809984b20b32edf3fa8f576c85508c5 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 10 Sep 2023 21:45:59 -0700 Subject: [PATCH] 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. --- README.md | 1 + main.lua | 12 ++---------- source.lua | 7 ------- 3 files changed, 3 insertions(+), 17 deletions(-) diff --git a/README.md b/README.md index 0833aa6..291aed9 100644 --- a/README.md +++ b/README.md @@ -34,6 +34,7 @@ While editing text: * `ctrl+=` to zoom in, `ctrl+-` to zoom out, `ctrl+0` to reset zoom * `alt+right`/`alt+left` to jump to the next/previous word, respectively * mouse drag or `shift` + movement to select text, `ctrl+a` to select all +* `ctrl+e` to modify the sources For shortcuts while editing drawings, consult the online help. Either: * hover on a drawing and hit `ctrl+h`, or diff --git a/main.lua b/main.lua index c3b5a26..39c44a2 100644 --- a/main.lua +++ b/main.lua @@ -1,13 +1,5 @@ --- 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. +-- Entrypoint for the app. You can edit this file from within the app if +-- you're careful. -- files that come with LÖVE; we can't edit those from within the app utf8 = require 'utf8' 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 = {}