From e74b92b7333d3382277a6794833126d8e9ebd5cd Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 4 Sep 2023 15:07:54 -0700 Subject: show any error after switching to source editor Error_message is a special global. It's set when the app (Current_app = 'run') encounters an error and switches to the source editor, and cleared when switching from source editor back to the app. --- main.lua | 2 ++ 1 file changed, 2 insertions(+) (limited to 'main.lua') diff --git a/main.lua b/main.lua index a59c483..c3b5a26 100644 --- a/main.lua +++ b/main.lua @@ -183,10 +183,12 @@ function App.keychord_press(chord, key) Settings.source = source_settings if run.quit then run.quit() end Current_app = 'source' + -- preserve any Error_message when going from run to source elseif Current_app == 'source' then Settings.source = source.settings() if source.quit then source.quit() end Current_app = 'run' + Error_message = nil else assert(false, 'unknown app "'..Current_app..'"') end -- cgit 1.4.1-2-gfad0