Commit Graph

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