manifest_navigator_candidates_by_contents = function()
	local filter = Manifest_navigator.filter:lower()
	if filter == '' then
		return Manifest
	end
	local result = {}
	for _,def in ipairs(Manifest) do
		if Definitions[def] then  -- TODO: why do we need this?
			local contents = Definitions[def].data
			for _,line in ipairs(contents) do
				if line:lower():find(filter) then
					table.insert(result, def)
					break
				end
			end
		end
	end
	return result
end

manifest_navigator_candidates_by_name = function()
	local filter = Manifest_navigator.filter:lower()
	if filter == '' then
		return Manifest
	end
	local result = {}
	for _,def in ipairs(Manifest) do
		if def:lower():find(filter) then
			table.insert(result, def)
		end
	end
	return result
end

	add_hotkey_to_menu('ctrl+l: load definition')
	add_hotkey_to_menu('ctrl+n: new definition')
	add_hotkey_to_menu('ctrl+d: delete definition')
	add_hotkey_to_menu('ctrl+f: find')
	add_hotkey_to_menu('ctrl+left ctrl+right: prev/next word')

	add_hotkey_to_menu('ctrl+l ctrl+n ctrl+d: load/new/delete definition')
	add_hotkey_to_menu('ctrl+s: search all definitions')
	add_hotkey_to_menu('ctrl+f: find in definition')

end

end

	-- keep fields sync'd with definition of Manifest_navigator
	Manifest_navigator = {
		show = false,
		filter_full_text = false,
		for_delete = false,
		reload = false,
		num_lines = nil,
		index = 1,
		filter = '',
		bottom_y = nil,
	}

	local filter = Manifest_navigator.filter:lower()
	if filter == '' then
		return Manifest
	end
	local result = {}
	for _,def in ipairs(Manifest) do
		if def:lower():find(filter) then
			table.insert(result, def)
		end

	if Manifest_navigator.filter_full_text then
		return manifest_navigator_candidates_by_contents()
	else
		return manifest_navigator_candidates_by_name()

	return result

	display = false,  -- display navigator on screen
	for_delete = false,  -- if true, delete selected definition from navigator

	show = false,  -- display navigator on screen
	filter_full_text = false,  -- if true, show matching definition contents rather than names
	for_delete = false,  -- if true, delete selected definition from navigator on enter

}

}

		Manifest_navigator.show = true
		Manifest_navigator.for_delete = false

		Manifest_navigator.show = true

		initialize_manifest_navigator()

	elseif chord == 'C-s' then

		Manifest_navigator.show = true
		Manifest_navigator.filter_full_text = true