akkartik/sokoban.love - Change VUF2SX7BSB6DYFUCIS24UAMIQB4F3FLYSDLS5UXDCKIKPTWH4WWQC

implement carousel buttons for inserting/switching current pane

Created by akkartik on November 19, 2023

VUF2SX7BSB6DYFUCIS24UAMIQB4F3FLYSDLS5UXDCKIKPTWH4WWQC

Dependencies

In channels

main

Change contents

File addition: 0049-new_pane (----------)

[4.2]

new_pane = function()
	local result = {}
	result.editor_state = edit.initialize_state(
			Menu_bottom + 20,  -- top
			Safe_height/2-Line_height,  -- bottom
			Menu_left + 50 + Line_number_padding,  -- left
			math.min(100+30*App.width('m'), Safe_width*2/3),  -- right
			love.graphics.getFont():getHeight(), Line_height)
	Text.redraw_all(result.editor_state)
	result.output_editor_state = edit.initialize_state(
			result.editor_state.bottom+5+10+5,  -- top
			nil,  -- buttom
			result.editor_state.left, result.editor_state.right,
			love.graphics.getFont():getHeight(), Line_height)
	Text.redraw_all(result.output_editor_state)
	return result
end

File addition: 0048-Panes (----------)
[4.2]
```
Panes = {}
```
File addition: 0047-Current_pane_index (----------)
[4.2]
```
Current_pane_index = 0
```

Replacement in 0021-draw_menu at line 45 [6.704]

B:BD[5.1372] → [3.1983:2104]

∅:D[3.2104] → [5.1493:1700]

B:BD[5.1493] → [5.1493:1700]

	button(Global_state, 'left', {x=0, y=Menu_bottom, w=Menu_left+30, h=App.screen.height, bg={r=0.5, g=0.5, b=0.5, a=0.2},
		icon = function(p)
			App.color{r=0.4,g=0.4,b=0.4}
			love.graphics.polygon('fill', Menu_left+5, App.screen.height/2, Menu_left+25, App.screen.height/2-10, Menu_left+25, App.screen.height/2+10)
		end,
	})

[5.1372]

[5.1700]

	if Current_pane_index > 1 then
		button(Global_state, 'left', {x=0, y=Menu_bottom, w=Menu_left+30, h=App.screen.height, bg={r=0.5, g=0.5, b=0.5, a=0.2},
			icon = function(p)
				App.color{r=0.4,g=0.4,b=0.4}
				love.graphics.polygon('fill', Menu_left+5, App.screen.height/2, Menu_left+25, App.screen.height/2-10, Menu_left+25, App.screen.height/2+10)
			end,
			onpress1 = function()
				Current_pane_index = Current_pane_index-1
				Current_pane = Panes[Current_pane_index]
			end,
		})
	end

Replacement in 0021-draw_menu at line 58 [6.704]

B:BD[5.1734] → [3.2105:2220]

∅:D[3.2220] → [5.1849:2033]

B:BD[5.1849] → [5.1849:2033]

	button(Global_state, 'left', {x=r-30, y=Menu_bottom, w=100, h=App.screen.height, bg={r=0.5, g=0.5, b=0.5, a=0.2},
		icon = function(p)
			App.color{r=0.4,g=0.4,b=0.4}
			love.graphics.polygon('fill', r-25, App.screen.height/2-10, r-25, App.screen.height/2+10,  r-5, App.screen.height/2)
		end,
	})

[5.1734]

[6.1096]

	if Current_pane_index == #Panes then
		button(Global_state, 'right', {x=r-30, y=Menu_bottom, w=100, h=App.screen.height, bg={r=0.5, g=0.5, b=0.5, a=0.2},
			icon = function(p)
				App.color{r=0.4,g=0.4,b=0.4}
				love.graphics.print('+', r-25, App.screen.height/2-10)
			end,
			onpress1 = function()
				table.insert(Panes, new_pane())
				Current_pane_index = Current_pane_index+1
				Current_pane = Panes[Current_pane_index]
			end,
		})
	else
		button(Global_state, 'right', {x=r-30, y=Menu_bottom, w=100, h=App.screen.height, bg={r=0.5, g=0.5, b=0.5, a=0.2},
			icon = function(p)
				App.color{r=0.4,g=0.4,b=0.4}
				love.graphics.polygon('fill', r-25, App.screen.height/2-10, r-25, App.screen.height/2+10,  r-5, App.screen.height/2)
			end,
			onpress1 = function()
				Current_pane_index = Current_pane_index+1
				Current_pane = Panes[Current_pane_index]
			end,
		})
	end

Replacement in 0011-on.initialize at line 8 [7.3075]

B:BD[6.2084] → [3.4330:4382]

∅:D[3.4382] → [8.522:550]

B:BD[6.2123] → [8.522:550]

B:BD[8.550] → [2.0:40]

∅:D[2.40] → [5.2304:2353]

B:BD[8.580] → [5.2304:2353]

∅:D[5.2353] → [8.596:657]

B:BD[8.596] → [8.596:657]

∅:D[8.657] → [6.2224:2276]

B:BD[6.2224] → [6.2224:2276]

B:BD[6.2276] → [3.4383:4537]

∅:D[3.4537] → [9.2688:2706]

B:BD[9.2688] → [9.2688:2706]

B:BD[9.2706] → [3.4538:4605]

∅:D[3.4605] → [9.2747:2799]

B:BD[9.2747] → [9.2747:2799]

B:BD[9.2799] → [3.4606:4657]

	Current_pane.editor_state = edit.initialize_state(
		Menu_bottom + 20,  -- top
		Safe_height/2-Line_height,  -- bottom
		Menu_left + 50 + Line_number_padding,  -- left
		math.min(100+30*App.width('m'), Safe_width*2/3),  -- right
		love.graphics.getFont():getHeight(), Line_height)
	Text.redraw_all(Current_pane.editor_state)
	Current_pane.output_editor_state = edit.initialize_state(
		Current_pane.editor_state.bottom+5+10+5,  -- top
		nil,  -- buttom
		Current_pane.editor_state.left, Current_pane.editor_state.right,
		love.graphics.getFont():getHeight(), Line_height)
	Text.redraw_all(Current_pane.output_editor_state)

[6.2084]

[6.2277]

	table.insert(Panes, new_pane())
	Current_pane_index = 1
	Current_pane = Panes[Current_pane_index]