Next: Stylesheet manipulation, Previous: Urgent messages, Up: Special sequences sent by back-end and handled by DomTerm [Contents]
"\e]44;" options "\a"Start of a new diagnostic - an error message or similar.
This creates and enters a node <span> element
with class="diagnostic", and info="options".
The options should be a JSON-formatted object with the
outer { and } stripped off.
Currently the only options defined is repl: true to
indicate this was an error/warning in a previous REPL command.
"\e[44;0u"End of current diagnostic. This exits the previously-entered
<span class="diagnostic">.
"\e[44;" parameter "u"Furure extension, planned for marking start and/or end of specific parts of a diagnostic.