beka valentine on Nostr: the distinction between the Insert line cursor and the Overtype box cursor lines up ...

the distinction between the Insert line cursor and the Overtype box cursor lines up rather neatly with the kind of zippers I mentioned earlier

text editing zippers are INSERT zippers, while tree zippers are OVERTYPE zippers

interesting!