FIXED: term//2: make operators a trigger.

Author: JanWielemaker

term_html.pl

@@ -347,7 +347,7 @@
                 'data-name'(Functor)
               | Attrs
               ],
-              [ span(class('pl-functor'), S),
+              [ span(class(['pl-functor', 'pl-trigger']), S),
                 \space(Functor, Arg, o, a, FuncOptions, ArgOptions),
                 \op_arg(Arg, ArgOptions)
               ])).
@@ -407,14 +407,16 @@
       quote_op(Functor, S, Options),
       extra_classes(Term, Classes, Attrs, Options.put(op, infix))
     },
-    html(span([ class(['pl-compound', 'pl-op', 'pl-infix-op'|Classes]),
+    html(span([ class([ 'pl-compound', 'pl-adaptive', 'pl-op', 'pl-infix-op'
+                      | Classes
+                      ]),
                 'data-arity'(2),
                 'data-name'(Functor)
               | Attrs
               ],
               [ \op_arg(Left, LeftOptions),
                 Space,
-                span(class('pl-functor'), S),
+                span(class(['pl-functor', 'pl-trigger']), S),
                 Space,
                 \op_arg(Right, RightOptions)
               ])).