Programming environment for editing various of my live apps without restarting them.
initialize_manifest_navigator = function()
	-- keep fields sync'd with definition of Manifest_navigator
	Manifest_navigator = {
		show = false,
		filter_full_text = false,
		for_delete = false,
		reload = false,
		num_lines = nil,
		index = 1,
		filter = '',
		bottom_y = nil,
	}
	Manifest_navigator.candidates = Manifest
	Manifest_navigator.num_lines = num_lines_for_manifest_navigator(Manifest_navigator.candidates)
end