4 Commits

Author	SHA1	Message	Date
fang	eb40e2feed	webterm: handle unicode more correctly ... Make the marks produce json arrays where the (list @c) type is used. On the frontend, transform the semantic (character-based) cursor position into a byte-based one, in order to ensure the cursor gets rendered at the correct location, even if the presence of multi-byte characters like emoji.	2020-11-10 20:42:28 +01:00
fang	5f5e1def83	mark: handle unicode in belt correctly ... Input should be treated as unicode strings	2020-11-10 19:27:25 +01:00
fang	acd9176d76	webterm: clean up	2020-11-06 22:32:13 +01:00
fang	185b553c99	herm: userspace dill proxy ... Listens to the default dill session and passes its %blits on to subscribers. Passes any %belt pokes it gets into dill. Updates webdojo to make use of it, which is the primary motivation for herm's existence.	2020-11-05 19:39:08 +01:00