From e74b92b7333d3382277a6794833126d8e9ebd5cd Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Mon, 4 Sep 2023 15:07:54 -0700
Subject: [PATCH] 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 ++
 source.lua | 7 +++++++
 2 files changed, 9 insertions(+)

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
diff --git a/source.lua b/source.lua
index a3fd217..b4e1078 100644
--- a/source.lua
+++ b/source.lua
@@ -252,6 +252,13 @@ function source.draw()
     log_browser.draw(Log_browser_state, --[[hide_cursor]] Focus ~= 'log_browser')
   end
   source.draw_menu_bar()
+  if Error_message then
+    local height = math.min(20*Editor_state.line_height, App.screen.height*0.2)
+    App.color{r=0.8,g=0,b=0}
+    love.graphics.rectangle('fill', 150, App.screen.height - height-10, App.screen.width, height+10)
+    App.color{r=0,g=0,b=0}
+    love.graphics.print(Error_message, 150+10, App.screen.height - height)
+  end
 end
 
 function source.update(dt)
-- 
2.11.4.GIT