Next: Alterate screen buffers, Previous: Diagnostic (error) messages, Up: Special sequences sent by back-end and handled by DomTerm [Contents]
"\e]94;" rule "\a"If necessary, create a new temporary stylesheet, and add the specified JSON-quoted rule to the end of it.
The following escape sequences are no longer used by the domterm
command, and may be removed in the future.
"\e]90;\a"A request to return a list of the stylesheets in the document.
Result to client: "\x9D" stylesheets "\n"
Each stylesheet is a JSON-formatted string, separated by "\t",
suitable for printing by the list-stylesheets command.
"\e]91;" index "\a"Disable the stylesheet that has index index in the list of stylesheets in the document.
Result to client: "\x9D" message "\n"
where message is empty if there was no problem,
and is otherwise an error message.
"\e]92;" index "\a"As above, but enable the specified stylesheet.
"\e]93;" index "\a"Return the contents of the specified stylesheet.
On success the result is "\x9D" rule* "\x9D"
where each is a JSON-quoted string.
On failure, the result is a (non-quoted) error message.
"\e]95;" name "," styles "\a""\e]96;" name "," styles "\a"Create or replace a stylesheet with the given name.
If there is a <style> with a name attribute equal to name,
it is replaced; otherwise a new one is created, with its name set to name.
The styles is the literal contents of the new stylesheet;
it becomes the child of the <style> element (as a single text node).
Both name and styles are strings in quoted (JSON) format.
If the code is 96, no response is sent.
If the code is 95, the result to the client is
"\x9D" index "\n" where index
is the index of the replaced or created stylesheet.