manifest_coord = function(index)
	local y,x = Menu_bar_height, 5
	for i,definition in ipairs(Manifest_navigator.candidates) do
		local width = to_hud_text(definition):getWidth()
		if x + width > App.screen.width - 5 then
			y = y + HUD_line_height
			x = 5
		end
		if i == index then
			return y, x, width
		end
		x = x + width + 30
	end
end