akkartik/sokoban.love - Change EHADZNMBVAF6S3LW6DWDVA53KFF5TPGKUXBP4LCWXSLUEIYCA3QAC

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.

Created by Kartik K. Agaram on September 4, 2023

EHADZNMBVAF6S3LW6DWDVA53KFF5TPGKUXBP4LCWXSLUEIYCA3QAC

Dependencies

In channels

main

Change contents

Insertion in source.lua at line 255 [3.165766]

[2.37]

[3.173129]

  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

Insertion in main.lua at line 186 [4.2]

[3.189132]

      -- preserve any Error_message when going from run to source

Insertion in main.lua at line 191 [4.2]
[3.189284]
[3.189284]
```
      Error_message = nil
```