João Távora
2e6fbb05b6
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.
2020-12-31 14:03:53 +00:00
..
2020-09-01 16:02:14 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-12-07 13:17:59 +01:00
2020-08-24 04:09:47 +02:00
2020-09-21 15:04:55 +02:00
2020-12-09 14:52:53 +01:00
2020-10-04 18:56:45 +02:00
2020-09-12 03:42:37 +02:00
2020-11-23 15:42:08 +01:00
2020-09-21 15:04:55 +02:00
2020-01-16 21:53:37 -08:00
2020-10-03 12:53:51 +02:00
2020-10-24 20:23:27 +02:00
2020-12-25 10:36:48 -08:00
2020-06-07 09:03:59 -07:00
2020-06-17 08:47:53 -07:00
2020-10-03 12:53:51 +02:00
2020-07-20 14:47:43 +02:00
2020-11-13 08:58:06 -08:00
2020-01-01 00:59:52 +00:00
2020-11-23 09:41:53 -08:00
2020-09-05 22:53:00 -04:00
2020-11-24 08:22:26 +01:00
2020-12-31 14:03:53 +00:00
2020-10-16 15:27:25 +02:00
2020-01-16 15:33:17 +01:00
2020-12-20 17:32:24 +00:00
2020-12-12 09:03:13 -08:00
2020-01-01 00:59:52 +00:00
2020-10-24 20:23:27 +02:00
2020-01-16 21:55:14 -08:00
2020-10-17 14:43:25 +03:00
2020-01-01 00:59:52 +00:00
2020-10-16 15:15:47 +02:00
2020-09-01 15:42:16 +02:00
2020-02-01 09:18:46 -08:00
2020-10-19 21:12:04 +01:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-12-18 08:55:06 -08:00
2020-10-24 20:23:27 +02:00
2020-10-24 20:23:27 +02:00
2020-10-31 14:09:29 -04:00
2020-01-16 21:53:37 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-09 14:33:14 +00:00
2020-01-16 21:53:37 -08:00
2020-10-09 06:46:27 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-09-01 16:02:14 +02:00
2020-01-16 21:53:37 -08:00
2020-01-01 00:59:52 +00:00
2020-12-24 16:48:40 +01:00
2020-01-01 00:59:52 +00:00
2020-12-26 12:39:10 +01:00
2020-12-29 15:36:38 +01:00
2020-08-14 13:07:26 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-16 21:53:37 -08:00
2020-11-07 09:57:56 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00