bug#33084: 26.1.50; Outdated revert-buffer documentation

[Mauro Aranda <maurooaranda@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 744 bytes --]

2018-10-18 12:11 GMT-03:00, Mauro Aranda <maurooaranda@gmail.com>:
> Hello.
>
> Regarding the Emacs manual, I think the following paragraph in the
> "Reverting a Buffer" section is outdated:
> "Reverting marks the buffer as not modified. It also clears the buffer's
> undo
> history (see Undo). Thus, the reversion cannot be undone—if you change your
> mind yet again, you can't use the undo commands to bring the reverted
> changes
> back."
>
> I think that was the previous behavior of revert-buffer, but it was changed
> a while ago, so now it is possible to do M-x revert-buffer RET yes RET
> and then do
> C-/ to bring the reverted changes back.
>
>

I propose the attached patch.  Please let me know what you think.

[-- Attachment #2: 0001-Update-revert-buffer-documentation.patch --]
[-- Type: text/x-patch, Size: 1419 bytes --]

From 1cc0b5c9533719a13dc4ead942564c8586541fdb Mon Sep 17 00:00:00 2001
From: Mauro Aranda <maurooaranda@gmail.com>
Date: Thu, 18 Oct 2018 11:28:18 -0300
Subject: [PATCH] Update revert-buffer documentation

* doc/emacs/files.texi (Reverting): Document that revert-buffer
does keep undo history.  (Bug#33084)

; Copyright-paperwork-exempt: yes
---
 doc/emacs/files.texi | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/emacs/files.texi b/doc/emacs/files.texi
index c7d3b40..2fd8591 100644
--- a/doc/emacs/files.texi
+++ b/doc/emacs/files.texi
@@ -932,10 +932,10 @@ Reverting
 approximately the same part of the text as before.  But if you have
 made major changes, point may end up in a totally different location.
 
-  Reverting marks the buffer as not modified.  It also clears the
-buffer's undo history (@pxref{Undo}).  Thus, the reversion cannot be
-undone---if you change your mind yet again, you can't use the undo
-commands to bring the reverted changes back.
+  Reverting marks the buffer as not modified.  However, it adds the
+reverted changes as a single modification to the buffer's undo
+history (@pxref{Undo}).  Thus, after reverting, you can do @kbd{C-/}
+to bring the reverted changes back, if you happen to change your mind.
 
   Some kinds of buffers that are not associated with files, such as
 Dired buffers, can also be reverted.  For them, reverting means
-- 
2.7.4