diff options
| author | Eli Zaretskii | 2015-09-22 13:08:02 +0300 |
|---|---|---|
| committer | Eli Zaretskii | 2015-09-22 13:08:02 +0300 |
| commit | 948059e564fc485fefa6e9277effa0b7c595745b (patch) | |
| tree | 0250ef48d7bd9c1970003a90842b33ec2a13fdd5 | |
| parent | bfa1aa8e2bdaf14adbbf1e9e824051d3f740694c (diff) | |
| download | emacs-948059e564fc485fefa6e9277effa0b7c595745b.tar.gz emacs-948059e564fc485fefa6e9277effa0b7c595745b.zip | |
; * doc/lispref/os.texi (File Notifications): Minor copy-edits.
| -rw-r--r-- | doc/lispref/os.texi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/lispref/os.texi b/doc/lispref/os.texi index 1d0723e00ef..204055d9e78 100644 --- a/doc/lispref/os.texi +++ b/doc/lispref/os.texi | |||
| @@ -2625,7 +2625,8 @@ any one of the following symbols: | |||
| 2625 | @item deleted | 2625 | @item deleted |
| 2626 | @var{file} was deleted | 2626 | @var{file} was deleted |
| 2627 | @item changed | 2627 | @item changed |
| 2628 | @var{file} has changed | 2628 | @var{file}'s contents has changed; with @file{w32notify} library, |
| 2629 | reports attribute changes as well | ||
| 2629 | @item renamed | 2630 | @item renamed |
| 2630 | @var{file} has been renamed to @var{file1} | 2631 | @var{file} has been renamed to @var{file1} |
| 2631 | @item attribute-changed | 2632 | @item attribute-changed |
| @@ -2633,8 +2634,8 @@ a @var{file} attribute was changed | |||
| 2633 | @end table | 2634 | @end table |
| 2634 | 2635 | ||
| 2635 | Note that the @file{w32notify} library does not report | 2636 | Note that the @file{w32notify} library does not report |
| 2636 | @code{attribute-changed} events. Even in case a file attribute has | 2637 | @code{attribute-changed} events. When some file's attribute, like |
| 2637 | changed, like permissions or modification time, this library reports a | 2638 | permissions or modification time, has changed, this library reports a |
| 2638 | @code{changed} event. | 2639 | @code{changed} event. |
| 2639 | 2640 | ||
| 2640 | @var{file} and @var{file1} are the name of the file(s) whose event is | 2641 | @var{file} and @var{file1} are the name of the file(s) whose event is |