diff options
| author | Glenn Morris | 2012-11-12 18:25:59 -0800 |
|---|---|---|
| committer | Glenn Morris | 2012-11-12 18:25:59 -0800 |
| commit | f78ee6afc094cdfd6162bfd645836e84875dcddf (patch) | |
| tree | 3a2c4f5d6441e53adadb69ed2af0b64abf3cf239 /doc/misc/flymake.texi | |
| parent | b95a9c0cba301ef8f1920a1d123ccd6873c14a63 (diff) | |
| parent | f8705f6e3102454bf1e3213956eb3ac8160ff047 (diff) | |
| download | emacs-f78ee6afc094cdfd6162bfd645836e84875dcddf.tar.gz emacs-f78ee6afc094cdfd6162bfd645836e84875dcddf.zip | |
Merge from emacs-24; up to 2012-11-09T14:45:15Z!dmantipov@yandex.ru
Diffstat (limited to 'doc/misc/flymake.texi')
| -rw-r--r-- | doc/misc/flymake.texi | 20 |
1 files changed, 20 insertions, 0 deletions
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 |