; Silence syntax errors when rereading predicate modes term

diff --git a/sweep.pl b/sweep.pl
index e5e2049b4a459900b52bc162462cb2636d695120..574da33c693bcea79021e9c58abe4d6fb1e8209c 100644 (file)
--- a/sweep.pl
+++ b/sweep.pl
@@ -441,7 +441,7 @@ sweep_short_documentation_finalize(M, PI, Index, PIString, Doc, ArgSpan) :-
     ),
     term_string(Mode1, S, [module(pldoc_modes), numbervars(true)]),
     term_string(T    , S, [module(pldoc_modes), numbervars(true),
-                           subterm_positions(P)]),
+                           subterm_positions(P), syntax_errors(quiet)]),
     (   Index == 0
     ->  ArgSpan = []
     ;   P = term_position(_, _, _, _, ArgsPos0),
@@ -464,7 +464,8 @@ sweep_short_documentation_finalize(M, PI, Index, PIString, Doc, ArgSpan) :-
     memberchk(element(dt, _, SubDom0), Dom),
     memberchk(element(a, Att, SubDom), SubDom0),
     with_output_to(string(S), html_text(element(dt, Att, SubDom))),
-    term_string(T , S, [module(pldoc_modes), numbervars(true), subterm_positions(P)]),
+    term_string(T , S, [module(pldoc_modes), numbervars(true),
+                        subterm_positions(P), syntax_errors(quiet)]),
     (   Index == 0
     ->  ArgSpan = []
     ;   P = term_position(_, _, _, _, ArgsPos0),

diff --git a/sweeprolog.el b/sweeprolog.el
index a5fd702e917742c287ced084c39b147f17017e54..f8c38ae2cff2e10c9bd5189f3f3e77fa80906b4a 100644 (file)
--- a/sweeprolog.el
+++ b/sweeprolog.el
@@ -2556,6 +2556,10 @@ inside a comment, string or quoted atom."
      :foreground "green" :extend t))
   "Face to use for the new term in `sweeprolog-query-replace-term' queries.")
 
+(defface sweeprolog-eldoc-argument-highlight
+  '((t :inherit eldoc-highlight-function-argument))
+  "Face to use for highliting the argument at point in ElDoc messages.")
+
 ;;;; Font-lock
 
 (defun sweeprolog-analyze-start-font-lock (beg end)
@@ -5309,7 +5313,7 @@ accordingly."
       (`(,pi ,doc ,span)
        (when span
          (add-face-text-property (car span) (cdr span)
-                                 'eldoc-highlight-function-argument nil doc))
+                                 'sweeprolog-eldoc-argument-highlight nil doc))
        (funcall cb doc :thing pi :face 'sweeprolog-predicate-indicator)))))
 
 ;;;; Top-level Menu