diff options
author | João Távora <joaotavora@gmail.com> | 2020-12-31 13:14:26 +0000 |
---|---|---|
committer | João Távora <joaotavora@gmail.com> | 2020-12-31 14:03:53 +0000 |
commit | 2e6fbb05b6c17a1481fd6b73491cfa9c66c0c84f (patch) | |
tree | 9d4c73e9b92991ddddb572772338dbddbe9c3354 /etc | |
parent | f0d2b92f8b7377678231bec502c0f05b26b3a58e (diff) | |
download | emacs-2e6fbb05b6c17a1481fd6b73491cfa9c66c0c84f.tar.gz |
Make Flymake mode-line indicator customizable (bug#33740)
* lisp/progmodes/flymake.el (flymake-mode): Use
flymake-mode-line-format.
(flymake--mode-line-format): Remove.
(flymake-mode-line-counter-format, flymake-mode-line-format): New
defcustom.
(flymake-mode-line-title, flymake-mode-line-exception)
(flymake-mode-line-counters, flymake-error-counter)
(flymake-warning-counter, flymake-note-counter): New variables.
(flymake--mode-line-title, flymake--mode-line-exception)
(flymake--mode-line-counters, flymake--mode-line-counter): New
helpers.
* doc/misc/flymake.texi (Customizable variables): Mention
flymake-mode-line-format and flymake-mode-line-counter-format
* etc/NEWS: Mention Flymake's customizable mode-line.
Diffstat (limited to 'etc')
-rw-r--r-- | etc/NEWS | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -1747,6 +1747,19 @@ height of lines or width of chars. When non-nil, use a new xwidget webkit session after bookmark jump. Otherwise, it will use 'xwidget-webkit-last-session'. +** Flymake mode + ++++ +*** New user options to customize Flymake's mode-line. + +The new customization variable 'flymake-mode-line-format' is a mix of +strings and symbols like 'flymake-mode-line-title' , +'flymake-mode-line-exception' and 'flymake-mode-line-counters'. The +new customization variable 'flymake-mode-line-counter-format' is a mix +of strings and symbols like 'flymake-mode-line-error-counter', +'flymake-mode-line-warning-counter' and +'flymake-mode-line-note-counter'. + ** Flyspell mode +++ |