]> git.eshelyaron.com Git - dict.git/commitdiff
FIXED: use operators from xref in sweep_colourise_some_terms
authorEshel Yaron <me@eshelyaron.com>
Fri, 9 Sep 2022 08:18:53 +0000 (11:18 +0300)
committerEshel Yaron <me@eshelyaron.com>
Fri, 9 Sep 2022 08:18:53 +0000 (11:18 +0300)
sweep.pl

index 1c90e853c978726adce9e5e7bf079b93ca10ab35..78f5dec08bd0e63e5a2feec99d2e175ed0470ba4 100644 (file)
--- 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),