on.load_settings = function(settings)
	Font_height = settings.font_height or font_height
	Background_color = settings.background_color or Background_color
	-- careful not to replace the Foreground_color table instance
	if settings.foreground_color then
		local src = settings.foreground_color
		local dest = Foreground_color
		dest.r, dest.g, dest.b, dest.a = src.r, src.g, src.b, src.a
	end
	Initial_load_filenames = settings.loaded_filenames
end