draw_manifest_navigator = function()
	App.color(Menu_command_color)
	local filter_text = to_hud_text(Manifest_navigator.filter)
	App.screen.draw(filter_text, 5, 5)
	draw_cursor(5 + filter_text:getWidth(), 5)
	App.color(Menu_background_color)
	love.graphics.rectangle('fill', 0,Menu_bar_height, App.screen.width, Manifest_navigator.num_lines * (HUD_line_height + --[[highlight padding]]5))
	local x,y = 5, Menu_bar_height
	for i,definition in ipairs(Manifest_navigator.candidates) do
		x,y = add_def_to_menu(x,y, definition, i == Manifest_navigator.index)
		if Menu_cursor >= App.screen.width - 5 then
			break
		end
	end
	Manifest_navigator.bottom_y = y + HUD_line_height + --[[highlight padding]] 5
end