Feature request: easy text coloring?
Closed this issue · 1 comments
Jean-Luc-Picard-2021 commented
Hi,
What would be also swell, if we could have easy
text coloring. How can I do the following:
prove(F) :-
prove(F,P), !,
tag('<span style="color: red">'), show(P, 0'x), tag('</span>'),
write(':'),
tag('<span style="color: blue">'), write(F), tag('</span>'), nl.
Here is an example output, I have to provide a screenshot,
to show colors:
Does the server provide some sort of
tag/1 predicate to control the output by injecting the span HTML
element, which we can then use to submit a
CSS-style attribute from the SWISH server to the SWISH client?
Bye
JanWielemaker commented
See https://swish.swi-prolog.org/example/html_output.swinb for dealing with HTML in SWISH.