akkartik/sokoban.love - Change RK2ASPN7A55RCEG2YRFZLFXNPSME2VKBE2ZXO257DYZPS5TPXC5QC

add lots of buttons to the toolbar

Created by akkartik on November 21, 2023

RK2ASPN7A55RCEG2YRFZLFXNPSME2VKBE2ZXO257DYZPS5TPXC5QC

Dependencies

In channels

main

Change contents

Replacement in edit.lua at line 372 [6.413]

B:BD[5.9720] → [5.9720:9927]

    for _,code in utf8.codes(clipboard_data) do
      local c = utf8.char(code)
      if c == '\n' then
        Text.insert_return(State)
      else
        Text.insert_at_cursor(State, c)
      end
    end

[5.9720]

[5.9927]

    Text.insert_text(State, clipboard_data)

Insertion in edit.lua at line 382 [6.413]

[7.610]

[5.10356]

  end
end
function Text.insert_text(State, d)
  for _,code in utf8.codes(d) do
    local c = utf8.char(code)
    if c == '\n' then
      Text.insert_return(State)
    else
      Text.insert_at_cursor(State, c)
    end

File addition: 0076-delete_pane_button (----------)

[8.2]

delete_pane_button = function(x)
	local w = App.width('delete')+10
	button(Global_state, 'delete', {x=x, y=Menu_top+5, w=w, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
		icon = function(p)
			App.color(Normal_color)
			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)
			love.graphics.print('delete', p.x+5,p.y+2)
		end,
		onpress1 = function()
			table.remove(Panes, Current_pane_index)
			if #Panes == 0 then
				table.insert(Panes, new_pane())
			end
			if Current_pane_index > #Panes then
				Current_pane_index = Current_pane_index-1
			end
			Current_pane = Panes[Current_pane_index]
		end,
	})
	return x+w+10
end

File addition: 0075-clear_pane (----------)

[8.2]

clear_pane = function()
	Current_pane.editor_state.lines = {{data=''}}
	Current_pane.editor_state.screen_top1 = {line=1, pos=1}
	Current_pane.editor_state.cursor1 = {line=1, pos=1}
	Text.redraw_all(Current_pane.editor_state)
end

File addition: 0074-clear_pane_button (----------)

[8.2]

clear_pane_button = function(x)
	local w = App.width('clear')+10
	button(Global_state, 'clear', {x=x, y=Menu_top+5, w=w, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
		icon = function(p)
			App.color(Normal_color)
			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)
			love.graphics.print('clear', p.x+5,p.y+2)
		end,
		onpress1 = clear_pane,
	})
	return x+w+10
end

File addition: 0072-settings_button (----------)

[8.2]

settings_button = function(x, w)
	button(Global_state, 'settings', {x=x, y=Menu_top+5, w=w+10, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
		icon = function(p)
			App.color(Normal_color)
			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)
			love.graphics.print('settings', p.x+5,p.y+2)
		end,
		onpress1 = function()
			print('settings')
		end,
	})
	return x+w+10
end

File addition: 0071-duplicate_pane_button (----------)

[8.2]

duplicate_pane_button = function(x)
	local w = App.width('dup')+10
	button(Global_state, 'duplicate', {x=x, y=Menu_top+5, w=w, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
		icon = function(p)
			App.color(Normal_color)
			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)
			love.graphics.print('dup', p.x+5,p.y+2)
		end,
		onpress1 = function()
			local new_pane = {
				editor_state = copy_editor(Current_pane.editor_state)
			}
			new_pane.output_editor_state = output_editor_state(new_pane.editor_state)			
			Current_pane_index = Current_pane_index+1
			table.insert(Panes, Current_pane_index, new_pane)
			Current_pane = Panes[Current_pane_index]
		end,
	})
	return x+w+10
end

File addition: 0070-code_editor_state (----------)

[8.2]

code_editor_state = function()
	local result = 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)
	return result
end

File addition: 0069-output_editor_state (----------)

[8.2]

output_editor_state = function(editor_state)
	local result = edit.initialize_state(
			editor_state.bottom+5+10+5,  -- top
			nil,  -- buttom
			editor_state.left, editor_state.right,
			love.graphics.getFont():getHeight(), Line_height)
	Text.redraw_all(result)
	return result
end

File addition: 0068-copy_editor (----------)

[8.2]

copy_editor = function(state)
	local new_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)
	new_state.lines = map(state.lines,
		function(line)
			return {data=line.data}
		end)
	Text.redraw_all(new_state)
	return new_state
end

File addition: 0067-paste_button (----------)

[8.2]

paste_button = function(x)
	local w = App.width('paste')+10
	button(Global_state, 'paste', {x=x, y=Menu_top+5, w=w, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
		icon = function(p)
			App.color(Normal_color)
			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)
			love.graphics.print('paste', p.x+5,p.y+2)
		end,
		onpress1 = function()
			local s = App.get_clipboard()
			Text.insert_text(Current_pane.editor_state, s)
		end,
	})
	return x+w+10
end

File addition: 0066-copy_button (----------)

[8.2]

copy_button = function(x)
	local w = App.width('copy')+10
	button(Global_state, 'copy', {x=x, y=Menu_top+5, w=w, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
		icon = function(p)
			App.color(Normal_color)
			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)
			love.graphics.print('copy', p.x+5,p.y+2)
		end,
		onpress1 = function()
			local s = Text.selection(Current_pane.editor_state)
			if s then App.set_clipboard(s) end
		end,
	})
	return x+w+10
end

File addition: 0065-hide_code_button (----------)

[8.2]

hide_code_button = function(x)
	local w = App.width('hide')+10
	button(Global_state, 'hide', {x=x, y=Menu_top+5, w=w, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
		icon = function(p)
			App.color(Normal_color)
			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)
			love.graphics.print('hide', p.x+5,p.y+2)
		end,
		onpress1 = function()
			Show_code = false
		end,
	})
	return x+w+10
end

File addition: 0064-show_code_button (----------)

[8.2]

show_code_button = function(x)
	local w = App.width('show')+10
	button(Global_state, 'show', {x=x, y=Menu_top+5, w=w, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
		icon = function(p)
			App.color(Normal_color)
			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)
			love.graphics.print('show', p.x+5,p.y+2)
		end,
		onpress1 = function()
			Show_code = true
		end,
	})
	return x+w+10
end

File addition: 0063-Show_code (----------)
[8.2]
```
Show_code = true
```

File addition: 0061-new_pane_button (----------)

[8.2]

new_pane_button = function(x)
	local w = App.width('new')+10
	button(Global_state, 'new', {x=x, y=Menu_top+5, w=w, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
		icon = function(p)
			App.color(Normal_color)
			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)
			love.graphics.print('new', p.x+5,p.y+2)
		end,
		onpress1 = function()
			Current_pane_index = Current_pane_index+1
			table.insert(Panes, Current_pane_index, new_pane())
			Current_pane = Panes[Current_pane_index]
		end,
	})
	return x+w+10
end

File addition: 0060-next_pane_button (----------)

[8.2]

next_pane_button = function(r)
	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

File addition: 0059-previous_pane_button (----------)

[8.2]

previous_pane_button = function()
	button(Global_state, 'previous_pane', {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 0051-run_button at line 38 [9.1]
B:BD[9.1365] → [4.183:195]
```
	return x+w
```
[9.1365]
[9.1365]
```
	return x+w+10
```

Replacement in 0049-new_pane at line 3 [10.1]

B:BD[10.43] → [10.43:634]

	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)

[10.43]

[10.634]

	result.editor_state = code_editor_state()
	result.output_editor_state = output_editor_state(result.editor_state)

Replacement in 0021-draw_menu at line 6 [11.704]

B:BD[4.269] → [4.269:378]

	love.graphics.print(Current_pane_index, x, Menu_top+5)
	x = x + App.width(tostring(Current_pane_index)) + 5

[4.269]

[12.746]

	love.graphics.print(Current_pane_index, x+5, Menu_top+5+2)
	x = x+5 + App.width(tostring(Current_pane_index)) + 10

Insertion in 0021-draw_menu at line 10 [11.704]

[4.398]

[12.957]

	if Show_code then
		x = hide_code_button(x)
	else
		x = show_code_button(x)
	end
	x = copy_button(x)
	x = paste_button(x)
	x = new_pane_button(x)
	x = duplicate_pane_button(x)
	x = clear_pane_button(x)
	x = delete_pane_button(x)

Replacement in 0021-draw_menu at line 23 [11.704]

B:BD[12.1019] → [13.1863:1982]

∅:D[13.1982] → [12.1138:1159]

B:BD[12.1138] → [12.1138:1159]

B:BD[12.1159] → [14.166:193]

∅:D[14.193] → [12.1185:1343]

B:BD[12.1185] → [12.1185:1343]

∅:D[12.1343] → [11.1085:1096]

B:BD[11.1085] → [11.1085:1096]

	button(Global_state, 'settings', {x=Safe_width-w-10-5, y=Menu_top+5, w=w+10, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
		icon = function(p)
			App.color(Normal_color)
			love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)
			love.graphics.print('settings', p.x+5,p.y+2)
		end,
		onpress1 = function()
			print('settings')
		end,
	})

[12.1019]

[12.1344]

	settings_button(Safe_width-w-10-5, w)

Replacement in 0021-draw_menu at line 26 [11.704]

B:BD[10.891] → [10.891:1336]

∅:D[2.2066] → [10.1336:1349]

B:BD[10.1336] → [10.1336:1349]

		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,
		})

[10.891]

[10.1349]

		previous_pane_button()

Replacement in 0021-draw_menu at line 28 [11.704]

∅:D[10.1354] → [12.1700:1734]

B:BD[12.1700] → [12.1700:1734]

B:BD[12.1734] → [10.1355:1784]

∅:D[2.2123] → [10.1784:2220]

B:BD[10.1784] → [10.1784:2220]

∅:D[2.2180] → [10.2220:2233]

B:BD[10.2220] → [10.2220:2233]

	local r = Menu_left + Safe_width
	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,
		})

[10.1354]

[10.2233]

	if Current_pane_index < #Panes then
		next_pane_button(Menu_left + Safe_width)

Replacement in 0012-on.draw at line 4 [16.2899]

B:BD[15.905] → [15.905:934]

∅:D[15.934] → [11.1793:1924]

B:BD[11.1793] → [11.1793:1924]

B:BD[11.1924] → [3.961:1066]

∅:D[3.1066] → [13.4152:4195]

B:BD[13.4152] → [13.4152:4195]

∅:D[17.3146] → [11.1925:1947]

∅:D[13.4195] → [11.1925:1947]

B:BD[16.3033] → [11.1925:1947]

B:BD[11.1947] → [13.4196:4329]

	--if Canvas then return end
	draw_editor_border()
--	love.graphics.rectangle('line', 100-5-Line_number_padding,100-5, 300+Line_number_padding+10, 200+10, 5,5)
	edit.draw(Current_pane.editor_state, --[[fg]] nil, --[[hide_cursor]] nil, --[[show_line_numbers]] true)
	draw_scrollbar(Current_pane.editor_state)
	draw_output_border()
	edit.draw(Current_pane.output_editor_state, Normal_color, --[[hide cursor]] true)
	draw_scrollbar(Current_pane.output_editor_state)

[15.905]

[11.1947]

	if Show_code then
		draw_editor_border()
		edit.draw(Current_pane.editor_state, --[[fg]] nil, --[[hide_cursor]] nil, --[[show_line_numbers]] true)
		draw_scrollbar(Current_pane.editor_state)
		draw_output_border()
		edit.draw(Current_pane.output_editor_state, Normal_color, --[[hide cursor]] true)
		draw_scrollbar(Current_pane.output_editor_state)
	end

add lots of buttons to the toolbar

Dependencies

In channels

Change contents

Replacement in edit.lua at line 372 [6.413]

Insertion in edit.lua at line 382 [6.413]

File addition: 0076-delete_pane_button (----------)

File addition: 0075-clear_pane (----------)

File addition: 0074-clear_pane_button (----------)

File addition: 0072-settings_button (----------)

File addition: 0071-duplicate_pane_button (----------)

File addition: 0070-code_editor_state (----------)

File addition: 0069-output_editor_state (----------)

File addition: 0068-copy_editor (----------)

File addition: 0067-paste_button (----------)

File addition: 0066-copy_button (----------)

File addition: 0065-hide_code_button (----------)

File addition: 0064-show_code_button (----------)

File addition: 0063-Show_code (----------)

File addition: 0061-new_pane_button (----------)

File addition: 0060-next_pane_button (----------)

File addition: 0059-previous_pane_button (----------)

Replacement in 0051-run_button at line 38 [9.1]

Replacement in 0049-new_pane at line 3 [10.1]

Replacement in 0021-draw_menu at line 6 [11.704]

Insertion in 0021-draw_menu at line 10 [11.704]

Replacement in 0021-draw_menu at line 23 [11.704]

Replacement in 0021-draw_menu at line 26 [11.704]

Replacement in 0021-draw_menu at line 28 [11.704]

Replacement in 0012-on.draw at line 4 [16.2899]