Undo command in Thot?
Randy Gobbel (gobbel@cogsci.ucsd.edu)
Fri, 16 May 1997 11:04:58 -0700
Are there any plans to implement an Undo command in the Thot editor? It
seems to me that this is an obvious necessity. I keep looking for the
command, thinking it must be there somewhere, but so far haven't found it.
Without it, a single mistake can have unboundedly serious consequences.
-Randy