diff options
| author | Eli Zaretskii | 2022-06-11 14:02:29 +0300 |
|---|---|---|
| committer | Eli Zaretskii | 2022-06-11 14:02:29 +0300 |
| commit | cbd2c87a5de572583bb1394d35bc9cde8300e1ca (patch) | |
| tree | 119676b8d9850066613d4c9d56b19a42b88e3eff | |
| parent | 52ad2b53cba25e3f9194d26ec5817e8fc3b7d4f5 (diff) | |
| download | emacs-cbd2c87a5de572583bb1394d35bc9cde8300e1ca.tar.gz emacs-cbd2c87a5de572583bb1394d35bc9cde8300e1ca.zip | |
; Fix last change in whitespace.el.
| -rw-r--r-- | lisp/whitespace.el | 234 |
1 files changed, 117 insertions, 117 deletions
diff --git a/lisp/whitespace.el b/lisp/whitespace.el index 7889a802af1..e2c8eecf897 100644 --- a/lisp/whitespace.el +++ b/lisp/whitespace.el | |||
| @@ -276,116 +276,116 @@ | |||
| 276 | 276 | ||
| 277 | It's a list containing some or all of the following values: | 277 | It's a list containing some or all of the following values: |
| 278 | 278 | ||
| 279 | face enable all visualization via faces (see below). | 279 | face enable all visualization via faces (see below). |
| 280 | 280 | ||
| 281 | trailing trailing blanks are visualized via faces. | 281 | trailing trailing blanks are visualized via faces. |
| 282 | It has effect only if `face' (see above) | 282 | It has effect only if `face' (see above) |
| 283 | is present in `whitespace-style'. | 283 | is present in `whitespace-style'. |
| 284 | 284 | ||
| 285 | tabs TABs are visualized via faces. | 285 | tabs TABs are visualized via faces. |
| 286 | It has effect only if `face' (see above) | 286 | It has effect only if `face' (see above) |
| 287 | is present in `whitespace-style'. | 287 | is present in `whitespace-style'. |
| 288 | 288 | ||
| 289 | spaces SPACEs and HARD SPACEs are visualized via | 289 | spaces SPACEs and HARD SPACEs are visualized via |
| 290 | faces. | 290 | faces. |
| 291 | It has effect only if `face' (see above) | 291 | It has effect only if `face' (see above) |
| 292 | is present in `whitespace-style'. | 292 | is present in `whitespace-style'. |
| 293 | 293 | ||
| 294 | lines lines which have columns beyond | 294 | lines lines which have columns beyond |
| 295 | `whitespace-line-column' are highlighted via | 295 | `whitespace-line-column' are highlighted via |
| 296 | faces. | 296 | faces. |
| 297 | Whole line is highlighted. | 297 | Whole line is highlighted. |
| 298 | It has precedence over `lines-tail' (see | 298 | It has precedence over `lines-tail' (see |
| 299 | below). | 299 | below). |
| 300 | It has effect only if `face' (see above) | 300 | It has effect only if `face' (see above) |
| 301 | is present in `whitespace-style'. | 301 | is present in `whitespace-style'. |
| 302 | 302 | ||
| 303 | lines-tail lines which have columns beyond | 303 | lines-tail lines which have columns beyond |
| 304 | `whitespace-line-column' are highlighted via | 304 | `whitespace-line-column' are highlighted via |
| 305 | faces. | 305 | faces. |
| 306 | But only the part of line which goes | 306 | But only the part of line which goes |
| 307 | beyond `whitespace-line-column' column. | 307 | beyond `whitespace-line-column' column. |
| 308 | It has effect only if `lines' (see above) | 308 | It has effect only if `lines' (see above) |
| 309 | is not present in `whitespace-style' | 309 | is not present in `whitespace-style' |
| 310 | and if `face' (see above) is present in | 310 | and if `face' (see above) is present in |
| 311 | `whitespace-style'. | 311 | `whitespace-style'. |
| 312 | 312 | ||
| 313 | newline NEWLINEs are visualized via faces. | 313 | newline NEWLINEs are visualized via faces. |
| 314 | It has effect only if `face' (see above) | 314 | It has effect only if `face' (see above) |
| 315 | is present in `whitespace-style'. | 315 | is present in `whitespace-style'. |
| 316 | 316 | ||
| 317 | missing-newline-at-eof Missing newline at the end of the file is | 317 | missing-newline-at-eof Missing newline at the end of the file is |
| 318 | visualized via faces. | 318 | visualized via faces. |
| 319 | It has effect only if `face' (see above) | 319 | It has effect only if `face' (see above) |
| 320 | is present in `whitespace-style'. | 320 | is present in `whitespace-style'. |
| 321 | 321 | ||
| 322 | empty empty lines at beginning and/or end of buffer | 322 | empty empty lines at beginning and/or end of buffer |
| 323 | are visualized via faces. | 323 | are visualized via faces. |
| 324 | It has effect only if `face' (see above) | 324 | It has effect only if `face' (see above) |
| 325 | is present in `whitespace-style'. | 325 | is present in `whitespace-style'. |
| 326 | 326 | ||
| 327 | indentation::tab `tab-width' or more SPACEs at beginning of line | 327 | indentation::tab `tab-width' or more SPACEs at beginning of line |
| 328 | are visualized via faces. | 328 | are visualized via faces. |
| 329 | It has effect only if `face' (see above) | 329 | It has effect only if `face' (see above) |
| 330 | is present in `whitespace-style'. | 330 | is present in `whitespace-style'. |
| 331 | 331 | ||
| 332 | indentation::space TABs at beginning of line are visualized via | 332 | indentation::space TABs at beginning of line are visualized via |
| 333 | faces. | 333 | faces. |
| 334 | It has effect only if `face' (see above) | 334 | It has effect only if `face' (see above) |
| 335 | is present in `whitespace-style'. | 335 | is present in `whitespace-style'. |
| 336 | 336 | ||
| 337 | indentation `tab-width' or more SPACEs at beginning of line | 337 | indentation `tab-width' or more SPACEs at beginning of line |
| 338 | are visualized, if `indent-tabs-mode' (which | 338 | are visualized, if `indent-tabs-mode' (which |
| 339 | see) is non-nil; otherwise, TABs at beginning | 339 | see) is non-nil; otherwise, TABs at beginning |
| 340 | of line are visualized via faces. | 340 | of line are visualized via faces. |
| 341 | It has effect only if `face' (see above) | 341 | It has effect only if `face' (see above) |
| 342 | is present in `whitespace-style'. | 342 | is present in `whitespace-style'. |
| 343 | 343 | ||
| 344 | big-indent Big indentations are visualized via faces. | 344 | big-indent Big indentations are visualized via faces. |
| 345 | It has effect only if `face' (see above) | 345 | It has effect only if `face' (see above) |
| 346 | is present in `whitespace-style'. | 346 | is present in `whitespace-style'. |
| 347 | 347 | ||
| 348 | space-after-tab::tab `tab-width' or more SPACEs after a TAB | 348 | space-after-tab::tab `tab-width' or more SPACEs after a TAB |
| 349 | are visualized via faces. | 349 | are visualized via faces. |
| 350 | It has effect only if `face' (see above) | 350 | It has effect only if `face' (see above) |
| 351 | is present in `whitespace-style'. | 351 | is present in `whitespace-style'. |
| 352 | 352 | ||
| 353 | space-after-tab::space TABs are visualized when `tab-width' or | 353 | space-after-tab::space TABs are visualized when `tab-width' or |
| 354 | more SPACEs occur after a TAB, via | 354 | more SPACEs occur after a TAB, via |
| 355 | faces. | 355 | faces. |
| 356 | It has effect only if `face' (see above) | 356 | It has effect only if `face' (see above) |
| 357 | is present in `whitespace-style'. | 357 | is present in `whitespace-style'. |
| 358 | 358 | ||
| 359 | space-after-tab `tab-width' or more SPACEs after a TAB | 359 | space-after-tab `tab-width' or more SPACEs after a TAB |
| 360 | are visualized, if `indent-tabs-mode' | 360 | are visualized, if `indent-tabs-mode' |
| 361 | (which see) is non-nil; otherwise, | 361 | (which see) is non-nil; otherwise, |
| 362 | the TABs are visualized via faces. | 362 | the TABs are visualized via faces. |
| 363 | It has effect only if `face' (see above) | 363 | It has effect only if `face' (see above) |
| 364 | is present in `whitespace-style'. | 364 | is present in `whitespace-style'. |
| 365 | 365 | ||
| 366 | space-before-tab::tab SPACEs before TAB are visualized via | 366 | space-before-tab::tab SPACEs before TAB are visualized via |
| 367 | faces. | 367 | faces. |
| 368 | It has effect only if `face' (see above) | 368 | It has effect only if `face' (see above) |
| 369 | is present in `whitespace-style'. | 369 | is present in `whitespace-style'. |
| 370 | 370 | ||
| 371 | space-before-tab::space TABs are visualized when SPACEs occur | 371 | space-before-tab::space TABs are visualized when SPACEs occur |
| 372 | before TAB, via faces. | 372 | before TAB, via faces. |
| 373 | It has effect only if `face' (see above) | 373 | It has effect only if `face' (see above) |
| 374 | is present in `whitespace-style'. | 374 | is present in `whitespace-style'. |
| 375 | 375 | ||
| 376 | space-before-tab SPACEs before TAB are visualized, if | 376 | space-before-tab SPACEs before TAB are visualized, if |
| 377 | `indent-tabs-mode' (which see) is | 377 | `indent-tabs-mode' (which see) is |
| 378 | non-nil; otherwise, the TABs are | 378 | non-nil; otherwise, the TABs are |
| 379 | visualized via faces. | 379 | visualized via faces. |
| 380 | It has effect only if `face' (see above) | 380 | It has effect only if `face' (see above) |
| 381 | is present in `whitespace-style'. | 381 | is present in `whitespace-style'. |
| 382 | 382 | ||
| 383 | space-mark SPACEs and HARD SPACEs are visualized via | 383 | space-mark SPACEs and HARD SPACEs are visualized via |
| 384 | display table. | 384 | display table. |
| 385 | 385 | ||
| 386 | tab-mark TABs are visualized via display table. | 386 | tab-mark TABs are visualized via display table. |
| 387 | 387 | ||
| 388 | newline-mark NEWLINEs are visualized via display table. | 388 | newline-mark NEWLINEs are visualized via display table. |
| 389 | 389 | ||
| 390 | Any other value is ignored. | 390 | Any other value is ignored. |
| 391 | 391 | ||
| @@ -808,21 +808,21 @@ Each element has the following form: | |||
| 808 | 808 | ||
| 809 | Where: | 809 | Where: |
| 810 | 810 | ||
| 811 | KIND is the kind of character. | 811 | KIND is the kind of character. |
| 812 | It can be one of the following symbols: | 812 | It can be one of the following symbols: |
| 813 | 813 | ||
| 814 | tab-mark for TAB character | 814 | tab-mark for TAB character |
| 815 | 815 | ||
| 816 | space-mark for SPACE or HARD SPACE character | 816 | space-mark for SPACE or HARD SPACE character |
| 817 | 817 | ||
| 818 | newline-mark for NEWLINE character | 818 | newline-mark for NEWLINE character |
| 819 | 819 | ||
| 820 | CHAR is the character to be mapped. | 820 | CHAR is the character to be mapped. |
| 821 | 821 | ||
| 822 | VECTOR is a vector of characters to be displayed in place of CHAR. | 822 | VECTOR is a vector of characters to be displayed in place of CHAR. |
| 823 | The first display vector that can be displayed is used; | 823 | The first display vector that can be displayed is used; |
| 824 | if no display vector for a mapping can be displayed, then | 824 | if no display vector for a mapping can be displayed, then |
| 825 | that character is displayed unmodified. | 825 | that character is displayed unmodified. |
| 826 | 826 | ||
| 827 | The NEWLINE character is displayed using the face given by | 827 | The NEWLINE character is displayed using the face given by |
| 828 | `whitespace-newline' variable. | 828 | `whitespace-newline' variable. |