João Távora
3e7dff8892
Flymake and backends exchange hints abouts changed regions
* lisp/progmodes/flymake.el (flymake--delete-own-overlays): Accept
BEG and END. Rename from flymake-delete-own-overlays.
(flymake-diagnostic-functions): Describe :region, :recent-changes
in docstring.
(flymake--handle-report): Accept REGION.
(flymake--run-backend): Accept optional ARGS to pass to backend
fn.
(flymake--recent-changes): New buffer-local variable.
(flymake-start): Call flymake--run-backend with recent changes.
(flymake-mode): Initialize flymake--recent-changes. Call
flymake--delete-own-overlays.
(flymake-after-change-function): Collect recent changes.
* doc/misc/flymake.texi (Backend functions): Describe
:recent-changes and :region.
* etc/NEWS (Flymake): Mention improvements in backend communication.
2018-06-15 14:59:42 +01:00
..
2018-04-19 12:21:06 +03:00
2018-01-01 01:13:04 -08:00
2018-06-01 16:33:58 +03:00
2018-01-01 01:02:09 -08:00
2018-04-19 12:21:06 +03:00
2018-03-04 17:10:34 -08:00
2018-01-01 00:57:59 -08:00
2018-04-28 23:20:33 +03:00
2018-03-01 09:25:55 +01:00
2018-05-14 17:06:33 +02:00
2018-02-24 17:56:43 +01:00
2018-02-28 09:40:40 -08:00
2018-04-19 12:21:06 +03:00
2018-02-26 13:53:37 +01:00
2018-04-19 12:21:06 +03:00
2018-06-10 18:43:49 -04:00
2018-02-24 20:52:21 +01:00
2018-01-01 01:02:09 -08:00
2018-06-01 16:38:09 +03:00
2018-02-25 16:29:39 +01:00
2018-02-26 13:53:37 +01:00
2018-02-28 09:40:40 -08:00
2018-04-20 08:07:43 -07:00
2018-01-01 01:02:09 -08:00
2018-02-26 09:24:39 +01:00
2018-06-15 14:59:42 +01:00
2018-02-26 09:24:39 +01:00
2018-01-01 01:02:09 -08:00
2018-05-20 11:02:50 -07:00
2018-01-01 01:02:09 -08:00
2018-02-26 13:53:37 +01:00
2018-05-20 11:02:50 -07:00
2018-03-13 14:47:41 -04:00
2018-04-19 12:21:06 +03:00
2018-02-26 13:53:37 +01:00
2018-04-19 12:21:06 +03:00
2018-02-26 13:53:37 +01:00
2018-01-01 00:57:59 -08:00
2018-05-20 21:27:42 +03:00
2018-05-20 11:02:50 -07:00
2018-02-26 13:53:37 +01:00
2018-01-01 01:02:09 -08:00
2018-01-01 01:02:09 -08:00
2018-06-02 10:29:37 -07:00
2018-04-19 12:21:06 +03:00
2018-01-01 01:02:09 -08:00
2018-02-26 09:24:39 +01:00
2018-04-19 12:21:06 +03:00
2018-01-01 01:02:09 -08:00
2018-01-01 01:02:09 -08:00
2018-04-19 12:21:06 +03:00
2018-02-24 20:52:21 +01:00
2018-02-21 20:13:01 +01:00
2018-02-26 13:53:37 +01:00
2018-02-26 13:53:37 +01:00
2018-02-26 13:53:37 +01:00
2018-03-07 15:41:29 -05:00
2018-02-26 13:53:37 +01:00
2018-03-20 09:26:37 -07:00
2018-01-01 00:57:59 -08:00
2018-06-07 11:16:11 +02:00
2018-05-29 09:57:48 +02:00
2018-04-14 01:58:38 -04:00
2018-02-26 13:53:37 +01:00
2018-04-19 12:21:06 +03:00
2018-06-01 16:33:58 +03:00
2018-01-01 01:02:09 -08:00
2018-06-01 16:33:58 +03:00
2018-02-26 09:24:39 +01:00