Files
emacs/doc/misc
João Távora 413978727c Simplify Flymake user documentation
Fix some confusing parts of Flymake user documentation, like a
repeated listing of situations leading to a syntax check.
Documentation is now divided into three chapters only: "Using
Flymake", "Extending Flymake", and a chapter for the legacy backend.

Obsolete mention of "errors" and "lines" is replaced by
"diagnostics/problems" and "regions" where appropriate.

* doc/misc/flymake.texi (Overview of Flymake): Delete chapter.
(Using Flymake): Merge with chapter "Overview of Flymake".
(Installing Flymake): Delete chapter.
(Flymake mode, Running the syntax check)
(Navigating to error lines): Delete sections.
(Syntax check statuses): Review and augment with x-references.
(Backend exceptions): Mention shortcut in menu.

* lisp/progmodes/flymake.el (flymake-menu): Tweak minor mode
menu to not speak of "errors".
(flymake-goto-next-error, flymake-goto-prev-error): Fix
wording.
2017-10-12 12:30:23 +01:00
..
2017-02-07 18:29:02 +02:00
2017-01-01 04:01:41 +00:00
2017-09-29 17:48:22 -07:00
2017-10-01 19:59:01 -07:00
2017-01-01 04:01:41 +00:00
2017-03-31 17:27:08 +09:00
2017-10-01 18:31:10 -07:00
2017-03-14 16:12:29 +09:00
2017-01-01 04:01:41 +00:00
2017-10-01 19:59:01 -07:00
2017-10-01 19:59:01 -07:00
2017-04-04 08:23:46 +02:00
2017-01-01 04:01:41 +00:00
2017-10-01 19:59:01 -07:00
2017-10-01 13:31:39 +02:00
2017-01-01 04:01:41 +00:00
2017-01-01 01:10:47 -08:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-10-01 18:31:10 -07:00
2017-01-01 04:01:41 +00:00
2016-12-31 19:42:26 -08:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-10-05 21:30:05 +02:00
2017-10-01 19:59:01 -07:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-01-01 04:01:41 +00:00
2017-10-09 22:55:06 -07:00
2017-01-01 04:01:41 +00:00
2017-01-01 01:10:47 -08:00
2017-01-01 04:01:41 +00:00
2017-09-17 13:06:54 -07:00
2016-12-31 19:42:26 -08:00
2017-10-11 10:57:29 +02:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00