diff options
Diffstat (limited to 'doc/lispref')
| -rw-r--r-- | doc/lispref/ChangeLog | 5 | ||||
| -rw-r--r-- | doc/lispref/text.texi | 12 |
2 files changed, 13 insertions, 4 deletions
diff --git a/doc/lispref/ChangeLog b/doc/lispref/ChangeLog index e4bc6eb5bcc..f8b7406c427 100644 --- a/doc/lispref/ChangeLog +++ b/doc/lispref/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2013-07-10 Paul Eggert <eggert@cs.ucla.edu> | ||
| 2 | |||
| 3 | Timestamp fixes for undo (Bug#14824). | ||
| 4 | * text.texi (Undo): Document (t . 0) and (t . -1) in buffer-undo-list. | ||
| 5 | |||
| 1 | 2013-07-06 Eli Zaretskii <eliz@gnu.org> | 6 | 2013-07-06 Eli Zaretskii <eliz@gnu.org> |
| 2 | 7 | ||
| 3 | * nonascii.texi (Text Representations): Document that | 8 | * nonascii.texi (Text Representations): Document that |
diff --git a/doc/lispref/text.texi b/doc/lispref/text.texi index c10458b39ae..7cace70ad07 100644 --- a/doc/lispref/text.texi +++ b/doc/lispref/text.texi | |||
| @@ -1250,14 +1250,18 @@ reinsert it is @code{(abs @var{position})}. If @var{position} is | |||
| 1250 | positive, point was at the beginning of the deleted text, otherwise it | 1250 | positive, point was at the beginning of the deleted text, otherwise it |
| 1251 | was at the end. | 1251 | was at the end. |
| 1252 | 1252 | ||
| 1253 | @item (t @var{sec-high} @var{sec-low} @var{microsec} @var{picosec}) | 1253 | @item (t . @var{time-flag}) |
| 1254 | This kind of element indicates that an unmodified buffer became | 1254 | This kind of element indicates that an unmodified buffer became |
| 1255 | modified. The list @code{(@var{sec-high} @var{sec-low} @var{microsec} | 1255 | modified. A @var{time-flag} of the form |
| 1256 | @code{(@var{sec-high} @var{sec-low} @var{microsec} | ||
| 1256 | @var{picosec})} represents the visited file's modification time as of | 1257 | @var{picosec})} represents the visited file's modification time as of |
| 1257 | when it was previously visited or saved, using the same format as | 1258 | when it was previously visited or saved, using the same format as |
| 1258 | @code{current-time}; see @ref{Time of Day}. @code{primitive-undo} uses those | 1259 | @code{current-time}; see @ref{Time of Day}. |
| 1260 | A @var{time-flag} of 0 means the buffer does not correspond to any file; | ||
| 1261 | @minus{}1 means the visited file previously did not exist. | ||
| 1262 | @code{primitive-undo} uses these | ||
| 1259 | values to determine whether to mark the buffer as unmodified once again; | 1263 | values to determine whether to mark the buffer as unmodified once again; |
| 1260 | it does so only if the file's modification time matches those numbers. | 1264 | it does so only if the file's status matches that of @var{time-flag}. |
| 1261 | 1265 | ||
| 1262 | @item (nil @var{property} @var{value} @var{beg} . @var{end}) | 1266 | @item (nil @var{property} @var{value} @var{beg} . @var{end}) |
| 1263 | This kind of element records a change in a text property. | 1267 | This kind of element records a change in a text property. |