on.save_settings = function()
	return {
		font_height = Editors[1].font_height,
		filename = Editors[1].filename,
		screen_top = Editors[1].screen_top1,
	}
end