From: Eshel Yaron Date: Fri, 9 Sep 2022 08:18:53 +0000 (+0300) Subject: FIXED: use operators from xref in sweep_colourise_some_terms X-Git-Tag: v0.2.0~15 X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=1f83ce9f04944e120a192eda1ee395b87dbb4d55;p=dict.git FIXED: use operators from xref in sweep_colourise_some_terms --- 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),