Juergen Spitzmueller 7903b665a6 Introduce errors-show
a way to re-open the (LaTeX or other processing) errors dialog after it
had been closed without having to re-compile the document (#2775)
2024-12-31 12:49:38 +01:00
..
2024-12-31 12:49:38 +01:00