akkartik/sokoban.love - Change YR7AXEYBLB7Y4OZKPX4REW5JD5VOCSKMAC2TR5N75UJEG72XJUQAC

add keyboard shortcuts for common operations

Created by akkartik on February 21, 2024

YR7AXEYBLB7Y4OZKPX4REW5JD5VOCSKMAC2TR5N75UJEG72XJUQAC

Dependencies

In channels

main

Change contents

File addition: 0168-press_previous_pane_button (----------)

[5.2]

press_previous_pane_button = function()
	Show_menu = nil
	Current_pane.car = car
	Current_pane_index = Current_pane_index-1
	Current_pane = Panes[Current_pane_index]
	car = Current_pane.car or {}
end

File addition: 0167-press_next_pane_button (----------)

[5.2]

press_next_pane_button = function()
	Show_menu = nil
	Current_pane.car = car
	Current_pane_index = Current_pane_index+1
	Current_pane = Panes[Current_pane_index]
	car = Current_pane.car or {}
end

File addition: 0166-press_load_button (----------)

[5.2]

press_load_button = function()
	Show_menu = nil
	Show_file_dialog = true
	File_dialog_callback = function(filename)
		if filename == '' then
			-- clear filename
			Current_pane.filename = nil
			return
		end
		Current_pane.filename = filename
		one_time_load()
		-- Load new filename in future sessions.
		-- On mobile devices, we can't depend on on.save_settings() triggering on quit.
		love.filesystem.write('config', json.encode(settings()))
	end
end

File addition: 0165-press_save_button (----------)

[5.2]

press_save_button = function()
	Show_menu = nil
	if Current_pane.filename == nil then
		Show_file_dialog = true
		File_dialog_callback = function(filename)
			if filename == '' then return end
			Current_pane.filename = filename
			one_time_save()
			-- Load new filename in future sessions.
			-- On mobile devices, we can't depend on on.save_settings() triggering on quit.
			love.filesystem.write('config', json.encode(settings()))
		end
	else
		one_time_save()
	end
end

File addition: 0164-press_hide_button (----------)

[5.2]

press_hide_button = function()
	Show_menu = nil
	Show_code = false
end

File addition: 0163-press_show_button (----------)

[5.2]

press_show_button = function()
	Show_menu = nil
	Show_code = true
end

File addition: 0162-press_stop_button (----------)

[5.2]

press_stop_button = function()
	if car.quit then
		call_protected(car.quit)
	end
	Show_menu = nil
	clear_handlers()
end

File addition: 0161-press_run_button (----------)

[5.2]

press_run_button = function()
	Show_menu = nil
	-- ## run: initialize
	clear_handlers()
	local buf = table.concat(map(Current_pane.editor_state.lines, function(line) return line.data end), '\n')
	Current_pane.canvas = love.graphics.newCanvas()
	love.graphics.setCanvas(Current_pane.canvas)
	love.graphics.push('all')
	love.graphics.setBackgroundColor(1,1,1)
	edit.clear(Current_pane.output_editor_state)
	print = print_to_output
	-- ## run
	local status, result = live.eval(buf, 'editor')
	-- ## run: save some stuff, clean up the rest
	print = Real_print
	if result then
		-- could be either output or error
		table.insert(Current_pane.output_editor_state.lines, {data=tostring(result)})
	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)
	love.graphics.pop()
	love.graphics.setCanvas()
end

Replacement in 0116-save_button at line 2 [6.2758]

B:BD[6.2791] → [6.2791:2849]

B:BD[6.2849] → [7.60:79]

∅:D[7.79] → [6.2866:2906]

∅:D[8.105] → [6.2866:2906]

B:BD[6.2866] → [6.2866:2906]

B:BD[6.2964] → [6.2964:3038]

B:BD[6.3038] → [2.0:39]

∅:D[2.39] → [6.3038:3097]

B:BD[6.3038] → [6.3038:3097]

B:BD[6.3097] → [3.253:446]

∅:D[3.446] → [6.3097:3147]

B:BD[6.3097] → [6.3097:3147]

	return overflowable_button('save', x, y, r,
		function()
			Show_menu = nil
			if Current_pane.filename == nil then
				Show_file_dialog = true
				File_dialog_callback = function(filename)
					if filename == '' then return end
					Current_pane.filename = filename
					one_time_save()
					-- Load new filename in future sessions.
					-- On mobile devices, we can't depend on on.save_settings() triggering on quit.
					love.filesystem.write('config', json.encode(settings()))
				end
			else
				one_time_save()
			end
		end)

[6.2791]

[3.447]

	return overflowable_button('save', x, y, r, press_save_button)

Replacement in 0106-stop_button at line 2 [10.41]
B:BD[9.1362] → [8.132:173]
B:BD[8.173] → [11.0:56]
∅:D[11.56] → [7.188:207]
B:BD[8.173] → [7.188:207]
∅:D[7.207] → [8.223:250]
B:BD[8.223] → [8.223:250]
```
	styled_button('stop', x,y,
		function()
			if car.quit then
				call_protected(car.quit)
			end
			Show_menu = nil
			clear_handlers()
		end)
```
[9.1362]
[4.760]
```
	styled_button('stop', x,y, press_stop_button)
```
Replacement in 0106-stop_button at line 5 [10.41]
B:BD[9.1469] → [4.797:801]
```
end
```
[9.1469]
```
end
```
Replacement in 0065-hide_code_button at line 2 [13.4728]
B:BD[9.3098] → [12.918:976]
B:BD[12.976] → [7.472:491]
∅:D[7.491] → [13.5069:5090]
∅:D[8.575] → [13.5069:5090]
∅:D[12.976] → [13.5069:5090]
B:BD[13.5069] → [13.5069:5090]
B:BD[13.5090] → [12.977:984]
B:BD[12.984] → [7.492:496]
```
	return overflowable_button('hide', x, y, r,
		function()
			Show_menu = nil
			Show_code = false
		end)
end
```
[9.3098]
```
	return overflowable_button('hide', x, y, r, press_hide_button)
end
```
Replacement in 0064-show_code_button at line 2 [13.5167]
B:BD[14.109] → [12.985:1043]
B:BD[12.1043] → [7.497:516]
∅:D[7.516] → [13.5508:5528]
∅:D[8.626] → [13.5508:5528]
∅:D[12.1043] → [13.5508:5528]
B:BD[13.5508] → [13.5508:5528]
B:BD[13.5528] → [12.1044:1051]
B:BD[12.1051] → [7.517:521]
```
	return overflowable_button('show', x, y, r,
		function()
			Show_menu = nil
			Show_code = true
		end)
end
```
[14.109]
```
	return overflowable_button('show', x, y, r, press_show_button)
end
```
Deletion in 0060-next_pane_button at line 6 [13.6220]
B:BD[13.6541] → [13.6541:6572]
B:BD[13.6572] → [7.547:566]
∅:D[7.566] → [15.1388:1414]
∅:D[8.728] → [15.1388:1414]
B:BD[13.6572] → [15.1388:1414]
∅:D[15.1414] → [13.6572:6661]
B:BD[13.6572] → [13.6572:6661]
B:BD[13.6661] → [15.1415:1447]
```
		end,
		onpress1 = function()
			Show_menu = nil
			Current_pane.car = car
			Current_pane_index = Current_pane_index+1
			Current_pane = Panes[Current_pane_index]
			car = Current_pane.car or {}
```
Insertion in 0060-next_pane_button at line 7 [13.6220]
[13.6668]
[13.6668]
```
		onpress1 = press_next_pane_button,
```
Replacement in 0060-next_pane_button at line 9 [13.6220]
B:BD[13.6672] → [7.567:571]
```
end
```
[13.6672]
```
end
```
Deletion in 0059-previous_pane_button at line 6 [13.6723]
B:BD[13.7084] → [13.7084:7115]
B:BD[13.7115] → [7.572:591]
∅:D[7.591] → [15.1448:1474]
∅:D[8.779] → [15.1448:1474]
B:BD[13.7115] → [15.1448:1474]
∅:D[15.1474] → [13.7115:7204]
B:BD[13.7115] → [13.7115:7204]
B:BD[13.7204] → [15.1475:1507]
```
		end,
		onpress1 = function()
			Show_menu = nil
			Current_pane.car = car
			Current_pane_index = Current_pane_index-1
			Current_pane = Panes[Current_pane_index]
			car = Current_pane.car or {}
```
Insertion in 0059-previous_pane_button at line 7 [13.6723]
[13.7211]
[13.7211]
```
		onpress1 = press_previous_pane_button,
```
Replacement in 0059-previous_pane_button at line 9 [13.6723]
B:BD[13.7215] → [7.592:596]
```
end
```
[13.7215]
```
end
```

Replacement in 0051-run_button at line 2 [17.1]

B:BD[9.3980] → [16.764:804]

B:BD[16.804] → [7.597:616]

∅:D[7.616] → [17.329:354]

∅:D[16.804] → [17.329:354]

∅:D[8.830] → [17.329:354]

B:BD[17.329] → [17.329:354]

B:BD[17.354] → [18.1072:1092]

∅:D[18.1092] → [17.354:591]

B:BD[17.354] → [17.354:591]

B:BD[17.591] → [19.0:43]

B:BD[19.43] → [18.1093:1141]

B:BD[17.795] → [17.795:835]

B:BD[17.835] → [18.1142:1193]

∅:D[18.1193] → [17.876:925]

B:BD[17.876] → [17.876:925]

B:BD[17.925] → [20.193:215]

∅:D[20.215] → [17.972:1354]

B:BD[17.972] → [17.972:1354]

B:BD[17.1354] → [16.805:812]

	styled_button('run', x,y,
		function()
			Show_menu = nil
			-- ## run: initialize
			clear_handlers()
			local buf = table.concat(map(Current_pane.editor_state.lines, function(line) return line.data end), '\n')
			Current_pane.canvas = love.graphics.newCanvas()
			love.graphics.setCanvas(Current_pane.canvas)
			love.graphics.push('all')
			love.graphics.setBackgroundColor(1,1,1)
			edit.clear(Current_pane.output_editor_state)
			print = print_to_output
			-- ## run
			local status, result = live.eval(buf, 'editor')
			-- ## run: save some stuff, clean up the rest
			print = Real_print
			if result then
				-- could be either output or error
				table.insert(Current_pane.output_editor_state.lines, {data=tostring(result)})
			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)
			love.graphics.pop()
			love.graphics.setCanvas()
		end)

[9.3980]

[4.981]

	styled_button('run', x,y, press_run_button)

Replacement in 0051-run_button at line 5 [17.1]
B:BD[9.4086] → [4.1017:1021]
```
end
```
[9.4086]
```
end
```
Insertion in 0013-on.keychord_press at line 12 [23.2758]
[21.2244]
[22.2669]
```
	elseif not Show_code and chord == 'f3' then
		press_show_button()
```

Replacement in 0013-on.keychord_press at line 15 [23.2758]

B:BD[22.2692] → [22.2692:2737]

		if Current_pane.editor_state.cursor_x then

[22.2692]

[22.2737]

		if chord == 'C-left' then press_previous_pane_button()
		elseif chord == 'C-right' then press_next_pane_button()
		elseif chord == 'f1' then press_run_button()
		elseif chord == 'f2' then press_stop_button()
		elseif chord == 'f3' then press_hide_button()
		elseif chord == 'f4' then press_save_button()
		elseif chord == 'f5' then press_load_button()
		elseif Current_pane.editor_state.cursor_x then

add keyboard shortcuts for common operations

Dependencies

In channels

Change contents

File addition: 0168-press_previous_pane_button (----------)

File addition: 0167-press_next_pane_button (----------)

File addition: 0166-press_load_button (----------)

File addition: 0165-press_save_button (----------)

File addition: 0164-press_hide_button (----------)

File addition: 0163-press_show_button (----------)

File addition: 0162-press_stop_button (----------)

File addition: 0161-press_run_button (----------)

Replacement in 0116-save_button at line 2 [6.2758]

Replacement in 0106-stop_button at line 2 [10.41]

Replacement in 0106-stop_button at line 5 [10.41]

Replacement in 0065-hide_code_button at line 2 [13.4728]

Replacement in 0064-show_code_button at line 2 [13.5167]

Deletion in 0060-next_pane_button at line 6 [13.6220]

Insertion in 0060-next_pane_button at line 7 [13.6220]

Replacement in 0060-next_pane_button at line 9 [13.6220]

Deletion in 0059-previous_pane_button at line 6 [13.6723]

Insertion in 0059-previous_pane_button at line 7 [13.6723]

Replacement in 0059-previous_pane_button at line 9 [13.6723]

Replacement in 0051-run_button at line 2 [17.1]

Replacement in 0051-run_button at line 5 [17.1]

Insertion in 0013-on.keychord_press at line 12 [23.2758]

Replacement in 0013-on.keychord_press at line 15 [23.2758]