diff options
| author | Lars Ingebrigtsen | 2022-05-24 11:51:18 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2022-05-24 11:51:18 +0200 |
| commit | 59951f7af5877221a25d66a1344b649c6872bac6 (patch) | |
| tree | e6eae584255c8cdbff3c64413e4aa2f74ed1a562 /src/w32notify.c | |
| parent | 6fe45ed9699c98d9f2cc3d0483a14f0ffa108ef9 (diff) | |
| download | emacs-59951f7af5877221a25d66a1344b649c6872bac6.tar.gz emacs-59951f7af5877221a25d66a1344b649c6872bac6.zip | |
Audit quoting symbols in C doc strings
* test/manual/etags/c-src/emacs/src/keyboard.c (Frecursive_edit):
* src/xfns.c (syms_of_xfns):
* src/xdisp.c (Fwindow_text_pixel_size):
(syms_of_xdisp):
* src/w32notify.c (Fw32notify_add_watch):
(Fw32notify_add_watch):
* src/frame.c (Fframe_child_frame_border_width):
* src/comp.c (Fcomp__subr_signature):
* src/alloc.c (Fgarbage_collect):
* lib-src/make-docfile.c (scan_c_stream): Audit quoting symbols in C
doc strings.
Diffstat (limited to 'src/w32notify.c')
| -rw-r--r-- | src/w32notify.c | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/src/w32notify.c b/src/w32notify.c index ccefecb6596..72e634f77c7 100644 --- a/src/w32notify.c +++ b/src/w32notify.c | |||
| @@ -519,16 +519,16 @@ watched for some reason, this function signals a `file-error' error. | |||
| 519 | FILTER is a list of conditions for reporting an event. It can include | 519 | FILTER is a list of conditions for reporting an event. It can include |
| 520 | the following symbols: | 520 | the following symbols: |
| 521 | 521 | ||
| 522 | 'file-name' -- report file creation, deletion, or renaming | 522 | `file-name' -- report file creation, deletion, or renaming |
| 523 | 'directory-name' -- report directory creation, deletion, or renaming | 523 | `directory-name' -- report directory creation, deletion, or renaming |
| 524 | 'attributes' -- report changes in attributes | 524 | `attributes' -- report changes in attributes |
| 525 | 'size' -- report changes in file-size | 525 | `size' -- report changes in file-size |
| 526 | 'last-write-time' -- report changes in last-write time | 526 | `last-write-time' -- report changes in last-write time |
| 527 | 'last-access-time' -- report changes in last-access time | 527 | `last-access-time' -- report changes in last-access time |
| 528 | 'creation-time' -- report changes in creation time | 528 | `creation-time' -- report changes in creation time |
| 529 | 'security-desc' -- report changes in security descriptor | 529 | `security-desc' -- report changes in security descriptor |
| 530 | 530 | ||
| 531 | If FILE is a directory, and FILTER includes 'subtree', then all the | 531 | If FILE is a directory, and FILTER includes `subtree', then all the |
| 532 | subdirectories will also be watched and changes in them reported. | 532 | subdirectories will also be watched and changes in them reported. |
| 533 | 533 | ||
| 534 | When any event happens that satisfies the conditions specified by | 534 | When any event happens that satisfies the conditions specified by |
| @@ -541,11 +541,11 @@ DESCRIPTOR is the same object as the one returned by this function. | |||
| 541 | ACTION is the description of the event. It could be any one of the | 541 | ACTION is the description of the event. It could be any one of the |
| 542 | following: | 542 | following: |
| 543 | 543 | ||
| 544 | 'added' -- FILE was added | 544 | `added' -- FILE was added |
| 545 | 'removed' -- FILE was deleted | 545 | `removed' -- FILE was deleted |
| 546 | 'modified' -- FILE's contents or its attributes were modified | 546 | `modified' -- FILE's contents or its attributes were modified |
| 547 | 'renamed-from' -- a file was renamed whose old name was FILE | 547 | `renamed-from' -- a file was renamed whose old name was FILE |
| 548 | 'renamed-to' -- a file was renamed and its new name is FILE | 548 | `renamed-to' -- a file was renamed and its new name is FILE |
| 549 | 549 | ||
| 550 | FILE is the name of the file whose event is being reported. | 550 | FILE is the name of the file whose event is being reported. |
| 551 | 551 | ||