manually save settings on change to loaded filenames

0076-delete_pane_button

@@ -14,6 +14,9 @@ delete_pane_button = function(x, y, r)
 			end
 			Current_pane = Panes[Current_pane_index]
 			car = Current_pane.car or {}
+			-- Don't load the deleted pane in future sessions.
+			-- On mobile devices, we can't depend on on.save_settings() triggering on quit.
+			love.filesystem.write('config', json.encode(settings()))
 		end,
 		--[[final button]] true)
 end

0116-save_button

@@ -8,9 +8,12 @@ save_button = function(x, y, r)
 					if filename == '' then return end
 					Current_pane.filename = filename
 					one_time_save()
+					-- Load new filename in future sessions.
+					-- On mobile devices, we can't depend on on.save_settings() triggering on quit.
+					love.filesystem.write('config', json.encode(settings()))
 				end
 			else
 				one_time_save()
 			end
 		end)
-end
+end

0117-load_button

@@ -11,6 +11,9 @@ load_button = function(x, y, r)
 				end
 				Current_pane.filename = filename
 				one_time_load()
+				-- Load new filename in future sessions.
+				-- On mobile devices, we can't depend on on.save_settings() triggering on quit.
+				love.filesystem.write('config', json.encode(settings()))
 			end
 		end)
-end
+end