Tweak recent flymake change

* lisp/progmodes/flymake.el (flymake-report-fatal-status):
Avoid double message when flymake-log-level >= 0.
* doc/misc/flymake.texi (Customizable variables):
No longer mention flymake-gui-warnings-enabled.

diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi
index 998f1b35170d85e08a0474ac206188ccbd375e12..6cece30a986ec3c39fabee3fab1bbdf06e5f5dc8 100644 (file)
--- a/doc/misc/flymake.texi
+++ b/doc/misc/flymake.texi
@@ -323,12 +323,6 @@ file cannot be run simultaneously.
 If any changes are made to the buffer, syntax check is automatically
 started after @code{flymake-no-changes-timeout} seconds.
 
-@item flymake-gui-warnings-enabled
-A boolean flag indicating whether Flymake will show message boxes for
-non-recoverable errors.  If @code{flymake-gui-warnings-enabled} is
-@code{nil}, these errors will only be logged to the @file{*Messages*}
-buffer.
-
 @item flymake-start-syntax-check-on-newline
 A boolean flag indicating whether to start syntax check after a
 newline character is added to the buffer.

diff --git a/lisp/progmodes/flymake.el b/lisp/progmodes/flymake.el
index cb9f7b66ff0ef0646e78551d69738c46829ce4e1..846ec22dbe3d421bf1ac4fcc56f2d21a52de05af 100644 (file)
--- a/lisp/progmodes/flymake.el
+++ b/lisp/progmodes/flymake.el
@@ -1198,10 +1198,11 @@ For the format of LINE-ERR-INFO, see `flymake-ler-make-ler'."
 
 (defun flymake-report-fatal-status (status warning)
   "Display a warning and switch flymake mode off."
-  ;; This should really by flymake-log 0, but that is not shown by default.
-  ;; flymake-mode already uses message if no file name.
+  ;; This first message was always shown by default, and flymake-log
+  ;; does nothing by default, hence the use of message.
   ;; Another option is display-warning.
-  (message "Flymake: %s. Flymake will be switched OFF" warning)
+  (if (< flymake-log-level 0)
+      (message "Flymake: %s. Flymake will be switched OFF" warning))
   (flymake-mode 0)
   (flymake-log 0 "switched OFF Flymake mode for buffer %s due to fatal status %s, warning %s"
                (buffer-name) status warning))