Deleted_example_panes = {}  -- array of names of example panes

load_example_panes = function()
	for _,ex in ipairs(Example_panes) do
		if Deleted_example_panes[ex.name] == nil then
			table.insert(Panes, example_pane(ex.name, ex.lines))
		end
	end
end

	Deleted_example_panes = settings.deleted_example_panes

		background_color = Background_color

		background_color = Background_color,
		deleted_example_panes = Deleted_example_panes,

-- Be careful not to rename example panes; that will cause them to pop up again and annoy people who've already deleted them.
-- If you delete a name, be careful not to reuse it in future.

	result.name = name

	result.example_name = name

			if Current_pane.example_name then
				Deleted_example_panes[Current_pane.example_name] = true
			end