delete some unused code

0098-on.save_settings

@@ -3,7 +3,6 @@ on.save_settings = function()
 		font_height = Font_height,
 		foreground_color = Foreground_color,
 		background_color = Background_color,
-		deleted_example_panes = Deleted_example_panes,
 		loaded_filenames = filenames_from_all_panes(),
 	}
 end

0099-on.load_settings

@@ -7,6 +7,5 @@ on.load_settings = function(settings)
 		local dest = Foreground_color
 		dest.r, dest.g, dest.b, dest.a = src.r, src.g, src.b, src.a
 	end
-	Deleted_example_panes = settings.deleted_example_panes
 	Initial_load_filenames = settings.loaded_filenames
 end

0112-load_example_panes

@@ -1,7 +0,0 @@
-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

0113-Deleted_example_panes

@@ -1 +0,0 @@
-Deleted_example_panes = {}  -- array of names of example panes