text_input_on_manifest_navigator = function(t)
	Manifest_navigator.filter = Manifest_navigator.filter..t
	Manifest_navigator.candidates = manifest_navigator_candidates()
	Manifest_navigator.index = 1
end