João Távora adb5f45d7b
Allow flymake diagnostic types to have shorter names ...
Eglot, a third-party package which uses Flymake, has its own
diagnostic types such as 'eglot-error', 'eglot-warning', etc... While
not being too long, they will not fit in the type column of the "list
all diagnostics" buffer. This commit allows diagnostic types to have
user-defined names and also assigns names to the default categories.
* doc/misc/flymake.texi (Flymake error types): Describe
flymake-type-name prop.
* lisp/progmodes/flymake.el (flymake--diagnostics-buffer-entries):
Use type names.
(flymake-error, flymake-warning, flymake-note): Give these
diagnostic categories default type names.
2019-11-02 16:38:53 +00:00
2019-09-23 00:12:52 -07:00
2019-10-22 18:06:01 +02:00
2019-01-01 01:02:40 +00:00
2019-08-06 13:59:28 +02:00
2019-09-23 00:12:52 -07:00
2019-01-01 01:01:13 +00:00
2019-08-15 00:05:33 -07:00
2019-09-23 00:12:52 -07:00
2019-08-20 09:01:55 -07:00
2019-01-01 01:02:40 +00:00
2019-03-09 10:07:46 -08:00
2019-05-26 01:00:16 -07:00
2019-10-28 15:55:10 +01:00
2019-06-08 18:48:33 +03:00
2019-10-24 01:08:30 +02:00
2019-09-23 00:12:52 -07:00
2019-09-23 00:12:52 -07:00
2019-10-28 15:55:10 +01:00
2019-09-23 00:12:52 -07:00
2019-10-17 13:56:42 +02:00
2019-09-29 18:32:45 +02:00
2019-10-17 13:56:42 +02:00
2019-09-23 00:12:52 -07:00
2019-10-07 03:02:07 +01:00
2019-11-02 16:38:53 +00:00
2019-07-20 12:53:10 +03:00
2019-03-05 22:27:35 -08:00
2019-10-28 15:55:10 +01:00
2019-09-29 09:56:31 +02:00
2019-10-17 13:56:42 +02:00
2019-01-01 01:02:40 +00:00
2019-08-30 10:23:17 +03:00
2019-08-27 23:48:57 +03:00
2019-01-01 01:02:40 +00:00
2019-08-20 15:36:08 -07:00
2019-09-23 00:12:52 -07:00
2019-09-23 00:12:52 -07:00
2019-09-23 00:12:52 -07:00
2019-04-10 19:33:21 -04:00
2019-01-01 01:02:40 +00:00
2019-09-23 00:12:52 -07:00
2019-10-28 15:55:10 +01:00
2019-03-05 21:55:09 -08:00
2019-06-01 20:01:43 -04:00
2019-05-25 13:02:05 -04:00
2019-10-17 13:56:42 +02:00
2019-03-05 21:55:09 -08:00
2019-04-21 14:56:04 +03:00
2019-06-27 18:13:18 +02:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2019-10-17 13:56:42 +02:00
2019-09-17 01:26:43 +02:00
2019-10-22 00:39:25 +02:00
2019-10-28 15:55:10 +01:00
2019-10-11 18:24:19 -07:00
2019-01-01 01:01:13 +00:00
2019-10-25 16:45:48 +02:00
2019-07-12 15:04:55 +02:00
2019-10-14 06:46:47 +02:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2019-10-17 13:56:42 +02:00
2019-10-16 15:39:42 +02:00
2019-09-23 00:12:52 -07:00
2019-01-01 01:02:40 +00:00
adb5f45d7b