From 1f83ce9f04944e120a192eda1ee395b87dbb4d55 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Fri, 9 Sep 2022 11:18:53 +0300 Subject: [PATCH] FIXED: use operators from xref in sweep_colourise_some_terms --- sweep.pl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/sweep.pl b/sweep.pl index 1c90e85..78f5dec 100644 --- a/sweep.pl +++ b/sweep.pl @@ -274,9 +274,11 @@ sweep_colourise_some_terms_(Path0, Offset, Contents, []) :- set_stream(Contents, encoding(utf8)), set_stream(Contents, file_name(Path)), seek(Contents, 0, bof, _), + findall(Op, xref_op(Path, Op), Ops), prolog_colourise_stream(Contents, Path, - sweep_handle_query_color(Offset)). + sweep_handle_query_color(Offset), + [operators(Ops)]). sweep_documentation([Path, Functor, Arity], Docs) :- atom_string(P, Path), -- 2.39.2