Hi Florian,
ja danke für die prägnante und ausführliche Antwort wie immer. Folgende Kommentare:
1. den increment/decrement Fehler in dem python (vermutlich) code von dem textsize plugin zu finden, traue ich mir auch als nicht ITler zu.
2. hast du einen Vorschlag wie ich ansetzen kann, um an den source zu bekommen bzw. unter .config/gedit liegt nichts und per rpm -ql gedit-plugins wird nichts gefunden.
3. ich frage mich, welchen Editor die Entwickler von Gnome verwenden - hoffentlich nicht VSC und wenn jemand schlechte Augen hat und auch sonst braucht man, so glaube ich, die Funktionlität vor allen anderen...
4. verstehe den upstream bug report nicht - wenn die Funktionalität ganz verschwindet, hofft man dann darauf, dass eine gnome-extension geschrieben wird?
Dankeschön! Gruß, Peter