sokoban.love/0021-draw_menu

draw_menu = function()
	App.color(Menu_background)
	love.graphics.rectangle('fill', 0,0, App.screen.width, Menu_bottom)
	App.color(Normal_color)
	local x = Menu_left+5
	love.graphics.print(Current_pane_index, x+5, Menu_top+5+2)
	x = x+5 + App.width(tostring(Current_pane_index)) + 10
	-- main buttons
	x = run_button(x)
	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)
	-- settings button on right
	local w = App.width('settings')
	settings_button(Safe_width-w-10-5, w)
	-- nav buttons along sides
	if Current_pane_index > 1 then
		previous_pane_button()
	end
	if Current_pane_index < #Panes then
		next_pane_button(Menu_left + Safe_width)
	end
end