Juergen Spitzmueller 482de36876 Disable CheckTeX while buffer is processed
Since CheckTeX itself processes the tex file, a synchronous run with
a TeX process can lead to all sorts of conflicts, including crashes.

Fixes: #7434.
(cherry picked from commit 71fea6332667e1a9fe99c38624e4dcaf1129d6c5)
2018-02-16 17:00:11 +01:00
..
2011-04-02 11:00:19 +00:00
2018-01-01 12:30:34 +01:00
2011-02-21 19:56:43 +00:00
2018-02-14 14:51:57 +01:00
2017-06-07 00:55:23 +02:00