summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorJoão Távora <joaotavora@gmail.com>2020-12-31 13:14:26 +0000
committerJoão Távora <joaotavora@gmail.com>2020-12-31 14:03:53 +0000
commit2e6fbb05b6c17a1481fd6b73491cfa9c66c0c84f (patch)
tree9d4c73e9b92991ddddb572772338dbddbe9c3354 /etc
parentf0d2b92f8b7377678231bec502c0f05b26b3a58e (diff)
downloademacs-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/NEWS13
1 files changed, 13 insertions, 0 deletions
diff --git a/etc/NEWS b/etc/NEWS
index 865dbdf516c..62907a6124e 100644
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -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
+++