4 commits

Author	SHA1	Message	Date
n1474335	a4d6e1f92c	TextNode characters are re-escaped in htmlWidgets now. Fixes #1533	2023-03-23 12:42:22 +00:00
n1474335	e93aa42697	Input and output character encodings can now be set	2022-09-02 12:56:04 +01:00
n1474335	7c8a185a3d	HTML outputs can now be selected and handle control characters correctly	2022-07-18 18:39:41 +01:00
n1474335	68733c74cc	Output now uses CodeMirror editor	2022-07-02 19:23:03 +01:00