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