about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--edit.mu4
1 files changed, 4 insertions, 0 deletions
diff --git a/edit.mu b/edit.mu
index 2adcbc75..f0699b42 100644
--- a/edit.mu
+++ b/edit.mu
@@ -6658,6 +6658,10 @@ before +insert-character-end [
   +done-inserting-character
 ]
 
+# Everytime you add a new operation to the undo stack, be sure to clear the
+# redo stack, because it's now obsolete.
+# Beware: since we're counting cursor moves as operations, this means just
+# moving the cursor can lose work on the undo stack.
 recipe add-operation [
   local-scope
   editor:address:editor-data <- next-ingredient