| commit | c42489d946a18206ea46fe1d6e13dfd86906792d | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@telfort.nl> | Tue Nov 21 20:43:18 2017 +0100 |
| committer | Benno Schulenberg <bensberg@telfort.nl> | Tue Nov 21 21:12:16 2017 +0100 |
| tree | be6dd7fcf4484492c8aa92dbe36a6cd9540bc074 | |
| parent | 2b438e6ef4e64aa096d7e6f795fb8a57c7a8c504 [diff] |
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.