From c42489d946a18206ea46fe1d6e13dfd86906792d Mon Sep 17 00:00:00 2001
From: Benno Schulenberg <bensberg@telfort.nl>
Date: Tue, 21 Nov 2017 20:43:18 +0100
Subject: [PATCH] linting: switch the mark off when the linter starts
Because the highlighting hinders the display of affected lines,
and, more importantly, only the highlighted part would be written
if the file was modified and the user answers yes to the "Save?"
prompt.
This fixes https://savannah.gnu.org/bugs/?52474.
---
src/text.c | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/text.c b/src/text.c
index be907224..4f59b5c5 100644
--- a/src/text.c
+++ b/src/text.c
@@ -3068,6 +3068,9 @@ void do_linter(void)
return;
}
+ openfile->mark_set = FALSE;
+ edit_refresh();
+
if (openfile->modified) {
int i = do_yesno_prompt(FALSE, _("Save modified buffer before linting?"));
--
GitLab