von Gast » So 14. Okt 2018, 12:01
Mit Maintainer meinte Ulrike sicher den Entwickler des Editors und nicht den Betreuer des Computersystems.
Leider sind Probleme wie diese notorisch schwer zu reproduzieren und diagnostizieren. Es ist aber sehr sicher, dass es sich nicht um ein TeX-Problem im klassischen Sinne handelt, sondern um ein Problem mit dem Editor. Entweder wird er falsch benutzt, die Einstellungen sind falsch oder er hat einen Bug. Die Symptome klingen schon sehr ungewöhnlich, was Benutzerfehler und falsche Einstellungen zumindest für mich eher unwahrscheinlicher werden lässt. Also bleibt ein Fehler im Programm als wahrscheinliche Ursache.
Solche Fehler sollten immer auch an die Entwickler der Programme gemeldet werden (nur so können sie behoben werden), besonders wenn Benutzerfehler recht sicher ausgeschlossen werden können. Dabei solltest Du so viel Details wie möglich und nötig angeben. Ideal ist es, eine Anleitung zu finden, die das Problem nicht nur auf Deinem Rechner reproduziert.
Wenn es nicht möglich ist, das Problem zu reproduzieren und der Entwickler mit Deinem Bugreport nichts anfangen kann, da er das Problem nicht diagnostizieren kann, dann musst Du wohl oder übel über einen anderen Editor nachdenken oder mit dem Fehler leben.
Zuletzt muss man bedenken, dass in Foren wie hier zwar TeX-Experten zu finden sind, Editoren aber nicht in TeX programmiert sind. Daher können die meisten hier wohl nur oberflächliche Ratschläge zu Editoren geben. Das ist so, wie wenn Du mit Deinem kaputten Kernspintomographen zum Radiologen gehst. Der nutzt das MRT zwar auch jeden Tag und kann damit umgehen, er kann Dir auch sagen, wenn Du es offensichtlich falsch benutzt, aber wenn es hin ist, kriegt er es auch nicht mehr heile.
Mit Maintainer meinte Ulrike sicher den Entwickler des Editors und nicht den Betreuer des Computersystems.
Leider sind Probleme wie diese notorisch schwer zu reproduzieren und diagnostizieren. Es ist aber sehr sicher, dass es sich nicht um ein TeX-Problem im klassischen Sinne handelt, sondern um ein Problem mit dem Editor. Entweder wird er falsch benutzt, die Einstellungen sind falsch oder er hat einen Bug. Die Symptome klingen schon sehr ungewöhnlich, was Benutzerfehler und falsche Einstellungen zumindest für mich eher unwahrscheinlicher werden lässt. Also bleibt ein Fehler im Programm als wahrscheinliche Ursache.
Solche Fehler sollten immer auch an die Entwickler der Programme gemeldet werden (nur so können sie behoben werden), besonders wenn Benutzerfehler recht sicher ausgeschlossen werden können. Dabei solltest Du so viel Details wie möglich und nötig angeben. Ideal ist es, eine Anleitung zu finden, die das Problem nicht nur auf Deinem Rechner reproduziert.
Wenn es nicht möglich ist, das Problem zu reproduzieren und der Entwickler mit Deinem Bugreport nichts anfangen kann, da er das Problem nicht diagnostizieren kann, dann musst Du wohl oder übel über einen anderen Editor nachdenken oder mit dem Fehler leben.
Zuletzt muss man bedenken, dass in Foren wie hier zwar TeX-Experten zu finden sind, Editoren aber nicht in TeX programmiert sind. Daher können die meisten hier wohl nur oberflächliche Ratschläge zu Editoren geben. Das ist so, wie wenn Du mit Deinem kaputten Kernspintomographen zum Radiologen gehst. Der nutzt das MRT zwar auch jeden Tag und kann damit umgehen, er kann Dir auch sagen, wenn Du es offensichtlich falsch benutzt, aber wenn es hin ist, kriegt er es auch nicht mehr heile.