Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
on.save_settings = function() return { font_height = Font_height, foreground_color = Foreground_color, background_color = Background_color, loaded_filenames = filenames_from_all_panes(), } end