GNU bug report logs -
#11689
[PATCH 00/14] Copyediting: etc/tutorials/TUTORIAL
Previous Next
Reported by: Michael Witten <mfwitten <at> gmail.com>
Date: Wed, 13 Jun 2012 00:34:01 UTC
Severity: minor
Tags: patch
Done: Chong Yidong <cyd <at> gnu.org>
Bug is archived. No further changes may be made.
Full log
Message #14 received at submit <at> debbugs.gnu.org (full text, mbox):
Date: Tue, 12 Jun 2012 03:47:39 +0000
There's no point in rehashing the distinction; it is enough simply to state
that undoing the removal of text works regardless of how that text was
removed.
---
etc/tutorials/TUTORIAL | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/etc/tutorials/TUTORIAL b/etc/tutorials/TUTORIAL
index e873023..e426056 100644
--- a/etc/tutorials/TUTORIAL
+++ b/etc/tutorials/TUTORIAL
@@ -469,9 +469,9 @@ convenient to type.
A numeric argument to C-/, C-_, or C-x u acts as a repeat count.
-You can undo deletion of text just as you can undo killing of text.
-The distinction between killing something and deleting it affects
-whether you can yank it with C-y; it makes no difference for undo.
+You can undo the removal of text regardless of whether the text was
+yanked or killed; there is no distinction as far as undoing is
+concerned.
* FILES
--
1.7.10.2.484.gcd07cc5
This bug report was last modified 13 years and 38 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.