akkartik/sokoban.love - Change 3DRVHB7C3UGLINVPVTGQ2YNIWER4GVVZRY7KUAZRXVFDV4Z2SXRQC

run script on startup; new button to switch to source editor

Created by akkartik on January 1, 2024

3DRVHB7C3UGLINVPVTGQ2YNIWER4GVVZRY7KUAZRXVFDV4Z2SXRQC

Dependencies

In channels

main

Change contents

Replacement in screens/widgets at line 3 [5.22]
B:BD[5.37] → [5.37:68]
```
-- button to invoke add_editor
```
[5.37]
[5.68]
```
-- button to add a text box
```

Replacement in screens/widgets at line 7 [5.22]

B:BD[5.134] → [5.134:333]

    rect('line', Safe_width-65, Menu_bottom+5, 30,30, 5)
    line(Safe_width-60, Menu_bottom+20, Safe_width-40, Menu_bottom+20)
    line(Safe_width-50, Menu_bottom+10, Safe_width-50, Menu_bottom+30)

[5.134]

[5.333]

    rect('line', Safe_width-115, 5, 30,30, 5)
    line(Safe_width-110, 20, Safe_width-90, 20)
    line(Safe_width-100, 10, Safe_width-100, 30)

Replacement in screens/widgets at line 12 [5.22]

B:BD[5.368] → [5.368:424]

    return x2 >= Safe_width-65 and y2 <= Menu_bottom+35

[5.368]

[5.424]

    return x2 >= Safe_width-120 and x2 <= Safe_width-85 and y2 <= 40

Insertion in screens/widgets at line 16 [5.22]

[5.456]


-- button to stop the app and return to the source editor
table.insert(widgets, {
  draw = function()
    color(0, 0.6,0.6)
    g.setFont(Font)
    local s = App.width('exit')
    rect('line', Safe_width-s-15, 75, s+10,30, 5)
    g.print('exit', Safe_width-s-10, 80)
  end,
  ispress = function(x2,y2)
    g.setFont(Font)
    local s = App.width('exit')
    return x2 >= Safe_width-s-15 and y2 >= 75 and y2 <= 105
  end,
  press = stop_app,
})

Insertion in screens/main at line 9 [5.6482]

[5.6828]

  color(0, 0.6,0.6)
  line(Safe_width-120, 0, Safe_width-120, 40)
  g.setFont(Font)
  local s = App.width('exit')
  line(Safe_width-120, 40, Safe_width-s-20, 40)
  line(Safe_width-s-20, 40, Safe_width-s-20, 110)
  line(Safe_width-s-20, 110, Safe_width+100, 110)

File addition: 0161-stop_app (----------)

[6.2]

stop_app = function()
	clear_handlers()
	Show_code = true
end

File addition: 0160-run_app (----------)

[6.2]

run_app = function()
	-- ## run: initialize
	clear_handlers()
	edit.clear(Current_pane.output_editor_state)
	print = print_to_output
	-- ## run
	local error = eval_all()
	-- ## run: save some stuff, clean up the rest
	if error == nil then
		Show_code = nil
	else
		print = Real_print
		clear_handlers()
		-- could be either output or error
		table.insert(Current_pane.output_editor_state.lines, {data=tostring(error)})
	end
	if #Current_pane.output_editor_state.lines == 0 then
		table.insert(Current_pane.output_editor_state.lines, {data=''})
	end
	Text.redraw_all(Current_pane.output_editor_state)
end

Replacement in 0102-send_errors_to_output at line 8 [7.586]
∅:D[2.308] → [7.893:911]
B:BD[7.893] → [7.893:911]
B:BD[7.911] → [4.738:756]
```
	clear_handlers()
	Show_code = true
```
[2.308]
[7.911]
```
	stop_app()
```

Replacement in 0051-run_button at line 5 [9.1]

∅:D[8.616] → [9.329:354]

∅:D[10.804] → [9.329:354]

∅:D[11.830] → [9.329:354]

B:BD[9.329] → [9.329:354]

B:BD[9.354] → [7.1072:1092]

∅:D[7.1092] → [9.354:463]

B:BD[9.354] → [9.354:463]

B:BD[12.43] → [7.1093:1141]

B:BD[9.795] → [9.795:835]

B:BD[9.835] → [4.765:793]

∅:D[4.793] → [9.876:925]

∅:D[7.1193] → [9.876:925]

B:BD[9.876] → [9.876:925]

B:BD[9.925] → [4.794:890]

∅:D[4.890] → [9.990:1029]

B:BD[9.990] → [9.990:1029]

B:BD[9.1029] → [4.891:972]

∅:D[4.972] → [9.1111:1302]

B:BD[9.1111] → [9.1111:1302]

			-- ## run: initialize
			clear_handlers()
			local buf = table.concat(map(Current_pane.editor_state.lines, function(line) return line.data end), '\n')
			edit.clear(Current_pane.output_editor_state)
			print = print_to_output
			-- ## run
			local error = eval_all()
			-- ## run: save some stuff, clean up the rest
			if error == nil then
				Show_code = nil
			else
				print = Real_print
				clear_handlers()
				-- could be either output or error
				table.insert(Current_pane.output_editor_state.lines, {data=tostring(error)})
			end
			if #Current_pane.output_editor_state.lines == 0 then
				table.insert(Current_pane.output_editor_state.lines, {data=''})
			end
			Text.redraw_all(Current_pane.output_editor_state)

[8.616]

[10.805]

			run_app()

Insertion in 0011-on.initialize at line 22 [14.3075]
[13.1180]
[3.173]
```
	run_app()
```