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