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

2017-08-15 15:29 GMT+02:00 Florian H. <postfuerflo@gmail.com>:
Hallo ng0177,
Du hast den bug report [1] ja entdeckt und auch kommentiert. Wenn es sich um einen bug handelt, dann kann man im Moment wohl wenig weiter herausfinden, es sei denn Du steigst in den Quelltext ein und hilfst das Problem zu beheben.

Fedora bzw. den Gnome Desktop deswegen jetzt als 'nicht-benutzbar' einzuschätzen [2], halte ich für etwas übertrieben. Es gibt ja noch zahlreiche andere Texteditoren die Du vorübergehend benutzen kannst bis dieses Problem hier behoben ist.

Der upstream bug report [3] sagt übrigens, dass die Zoom-Funktion mit dem neuen Design gänzlich abgeschafft wurde.

[1] https://bugzilla.redhat.com/show_bug.cgi?id=1448391
[2] https://bugzilla.redhat.com/show_bug.cgi?id=1448391#c1
[3] https://bugzilla.gnome.org/show_bug.cgi?id=772971

Beste Grüße,
Florian


On 15.08.2017 02:56, ng0177@gmail.com wrote:
Hallo zs., hat von euch jemand schon herausgefunden, was man dagegen tun kann, dass das gedit textsize plugin nur verkleinert?

Dank euch! Peter


_______________________________________________
de-users mailing list -- de-users@lists.fedoraproject.org
To unsubscribe send an email to de-users-leave@lists.fedoraproject.org



_______________________________________________
de-users mailing list -- de-users@lists.fedoraproject.org
To unsubscribe send an email to de-users-leave@lists.fedoraproject.org