sokoban.love/0021-draw_menu

draw_menu = function()
	App.color(Menu_background)
	love.graphics.rectangle('fill', 0,0, App.screen.width, Menu_bottom)
	-- main buttons
	button(Global_state, 'run', {x=Menu_left+5, y=Menu_top+5, w=App.width('Run')+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('Run', p.x+5,p.y+2)
		end,
		onpress1 = function()
			print('run')
			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)
			love.graphics.setColor(0,0,0)
			local status, result = live.eval(buf)
			print(status, result)
			if result then
				-- could be either output or error
				Current_pane.output_editor_state.lines = {
					{data=tostring(result)},
				}
				Text.redraw_all(Current_pane.output_editor_state)
			end
			love.graphics.pop()
			love.graphics.setCanvas()
		end,
	})
	-- settings button on right
	local w = App.width('settings')
	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,
	})
	-- nav buttons along sides
	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,
	})
	local r = Menu_left + Safe_width
	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,
	})
end