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