Programming environment for editing various of my live apps without restarting them.
manifest_navigator_candidates = function()
	if Manifest_navigator.filter == '' then
		return Manifest
	end
	local result = {}
	for _,def in ipairs(Manifest) do
		if starts_with(def, Manifest_navigator.filter) then
			table.insert(result, def)
		end
	end
	return result
end