Einstweilen funktioniert ja der "alte" Texmaker 1a

So, wie ich das sehe, ist Texmaker absolut vorbildlich. Seit Jahren ist er sehr schnell und schlank und doch schön gestaltet und mit vielen nützlichen Funktionen. Ich betrachte Texmaker inzwischen als meinen Standard Tex-Editor.