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(a)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(a)lists.fedoraproject.org
To unsubscribe send an email to de-users-leave(a)lists.fedoraproject.org