Re: [dev] [edit] Introducing edit, a simple text editor

From: Greg Minshall <minshall_AT_umich.edu>
Date: Mon, 23 Oct 2023 06:32:06 -0700

+1 on undo. (but, i'm an emacs user, not likely to ever be part of your
customer base... :)
Received on Mon Oct 23 2023 - 15:32:06 CEST

This archive was generated by hypermail 2.3.0 : Mon Oct 23 2023 - 16:00:09 CEST