diff options
| author | Glenn Morris | 2012-11-12 00:42:27 -0800 |
|---|---|---|
| committer | Glenn Morris | 2012-11-12 00:42:27 -0800 |
| commit | 24c38527d134951d3cfe8e3adae0b723061920d5 (patch) | |
| tree | 23665234542697950cca44660abe9be8255c027a /doc/misc | |
| parent | a13e12f95726b8a99fc94412ad3f16b88bbd18ad (diff) | |
| download | emacs-24c38527d134951d3cfe8e3adae0b723061920d5.tar.gz emacs-24c38527d134951d3cfe8e3adae0b723061920d5.zip | |
Document flymake fringe bitmaps
* doc/misc/flymake.texi (Customizable variables)
(Highlighting erroneous lines): Mention flymake-error-bitmap,
flymake-warning-bitmap, and flymake-fringe-indicator-position.
* lisp/progmodes/flymake.el (flymake-error-bitmap)
(flymake-warning-bitmap, flymake-fringe-indicator-position): Doc fixes.
(flymake-error-bitmap, flymake-warning-bitmap): Fix :types.
* etc/NEWS: Related markup.
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/ChangeLog | 6 | ||||
| -rw-r--r-- | doc/misc/flymake.texi | 20 |
2 files changed, 26 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 80d19f3adaa..b3b4ad07147 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,3 +1,9 @@ | |||
| 1 | 2012-11-12 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * flymake.texi (Customizable variables) | ||
| 4 | (Highlighting erroneous lines): Mention flymake-error-bitmap, | ||
| 5 | flymake-warning-bitmap, and flymake-fringe-indicator-position. | ||
| 6 | |||
| 1 | 2012-11-09 Chong Yidong <cyd@gnu.org> | 7 | 2012-11-09 Chong Yidong <cyd@gnu.org> |
| 2 | 8 | ||
| 3 | * url.texi (Introduction): Move url-configuration-directory to | 9 | * url.texi (Introduction): Move url-configuration-directory to |
diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi index 28fb7864f06..4a873490e86 100644 --- a/doc/misc/flymake.texi +++ b/doc/misc/flymake.texi | |||
| @@ -337,6 +337,17 @@ been reported. | |||
| 337 | A custom face for highlighting lines for which at least one warning | 337 | A custom face for highlighting lines for which at least one warning |
| 338 | and no errors have been reported. | 338 | and no errors have been reported. |
| 339 | 339 | ||
| 340 | @item flymake-error-bitmap | ||
| 341 | A bitmap used in the fringe to mark lines for which an error has | ||
| 342 | been reported. | ||
| 343 | |||
| 344 | @item flymake-warning-bitmap | ||
| 345 | A bitmap used in the fringe to mark lines for which a warning has | ||
| 346 | been reported. | ||
| 347 | |||
| 348 | @item flymake-fringe-indicator-position | ||
| 349 | Which fringe (if any) should show the warning/error bitmaps. | ||
| 350 | |||
| 340 | @end table | 351 | @end table |
| 341 | 352 | ||
| 342 | @node Adding support for a new syntax check tool | 353 | @node Adding support for a new syntax check tool |
| @@ -718,6 +729,15 @@ are used: @code{flymake-errline} and | |||
| 718 | @code{flymake-warnline}. Errors belonging outside the current | 729 | @code{flymake-warnline}. Errors belonging outside the current |
| 719 | buffer are considered to belong to line 1 of the current buffer. | 730 | buffer are considered to belong to line 1 of the current buffer. |
| 720 | 731 | ||
| 732 | @c This manual does not use vindex. | ||
| 733 | @c @vindex flymake-fringe-indicator-position | ||
| 734 | @c @vindex flymake-error-bitmap | ||
| 735 | @c @vindex flymake-warning-bitmap | ||
| 736 | If the option @code{flymake-fringe-indicator-position} is non-@code{nil}, | ||
| 737 | errors and warnings are also highlighted in the left or right fringe, | ||
| 738 | using the bitmaps specified by @code{flymake-error-bitmap} | ||
| 739 | and @code{flymake-warning-bitmap}. | ||
| 740 | |||
| 721 | @node Interaction with other modes | 741 | @node Interaction with other modes |
| 722 | @section Interaction with other modes | 742 | @section Interaction with other modes |
| 723 | @cindex Interaction with other modes | 743 | @cindex Interaction with other modes |