diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/misc/flymake.texi | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi index 03d296a1d42..13616f39f16 100644 --- a/doc/misc/flymake.texi +++ b/doc/misc/flymake.texi @@ -1,8 +1,8 @@ \input texinfo @c -*- mode: texinfo; coding: utf-8 -*- @comment %**start of header @setfilename ../../info/flymake.info -@set VERSION 1.2.2 -@set UPDATED November 2021 +@set VERSION 1.3.3 +@set UPDATED April 2023 @settitle GNU Flymake @value{VERSION} @include docstyle.texi @syncodeindex pg cp @@ -394,7 +394,7 @@ its @code{flymake-overlay-control} property: @item @cindex severity of diagnostic -@code{flymake-severity} is a non-negative integer specifying the +@code{severity} is a non-negative integer specifying the diagnostic's severity. The higher the value, the more serious is the error. If the overlay property @code{priority} is not specified in @code{flymake-overlay-control}, @code{flymake-severity} is used to set @@ -409,6 +409,17 @@ type, in case the name of the symbol associated with it is very long. @vindex flymake-category @code{flymake-category} is a symbol whose property list is considered the default for missing values of any other properties. + +@item +@cindex mode-line appearance of a diagnostic +@code{mode-line-face} is a face specifier controlling the appearance +of the indicator of this type of diagnostic in the mode line. + +@item +@cindex summarized appearance of a diagnostic +@code{echo-face} is a face specifier controlling the appearance of the +summarized description of this diagnostic when reading diagnostic +messages (@pxref{Finding diagnostics}). @end itemize @cindex predefined diagnostic types |