Juergen Spitzmueller c0a1893008 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 71fea63326)		2018-03-17 15:44:05 -04:00
..
default.ui	Automatically show the review toolbar if the document has tracked changes	2016-05-29 17:55:42 -04:00
stdcontext.inc	Prepend "Insert " in the context menu for environment separators.	2018-01-01 13:42:38 +01:00
stdmenus.inc	Disable CheckTeX while buffer is processed	2018-03-17 15:44:05 -04:00
stdtoolbars.inc	Fix sideset hints, part of bug #11015.	2018-03-17 15:44:05 -04:00