Mein Setup: F26, kernel-4.11.12-200.fc25.x86_64, gedit-2:3.22.1-1.fc26.x86_64,
gedit-plugin-textsize-3.22.0-2.fc26.x86_64
gedit-plugin-textsize funktioniert sowohl unter GNOME Xorg wie auch unter GNOME Wayland
einwandfrei.
Gruß,
Daniel
--
Mit freundlichen Grüßen
Daniel Laczi
Am 15. August 2017 21:16:42 MESZ schrieb ng0177(a)gmail.com:
Hallo Edgar,
viel gelernt - danke für die detaillierten Hinweise, ich werde mich
daran
versuchen...
Hallo Daniel,
auf jeden Fall sollten wir herausfinden, was bei dir anders als bei mir
und
den anderen, bei denen es schätzungsweise auch nicht geht. Ich habe
eigentlich eine Standardinstallation von F25 und F26 (F27 aussen vor)
auf
verschieden Rechnern und schon immer dieses Problem. Hast du eine Idee?
Grüße, ng0177
2017-08-15 20:14 GMT+02:00 Daniel Laczi <daniell1(a)t-online.de>:
> Hi zusammen,
>
> bevor ihr bastelt: ich kann die Schrift größer stellen mit dem
Plugin...
> Bin auf F26.
>
> Gruß
> Daniel
>
> Am 15. August 2017 20:01:46 MESZ schrieb Edgar Hoch <
> edgar.hoch(a)ims.uni-stuttgart.de>:
>>
>> Hallo ng0177,
>>
>> Am 15.08.2017 um 19:25 schrieb ng0177(a)gmail.com:
>>
>>> 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.
>>>
>>
>> ich bin mir nicht sicher, ob das deine Frage war:
>>
>> Mit "dnf download --source PAKETNAME" kannst du das Source-RPM Paket
zu PAKETNAME herunterladen. Siehe "dnf help download".
>>
>> Manche Pakete sind aus dem gleichen Source-RPM erstellt - dann wird
jedes Mal das gleiche Source-RPM heruntergeladen. "rpm -qi PAKETNAME"
gibt Auskunft darüber. Beispiel:
>>
>> # rpm -qi gedit|grep Source
>> Source RPM : gedit-3.22.1-1.fc26.src.rpm
>> # rpm -qi gedit-plugins|grep Source
>> Source RPM : gedit-plugins-3.22.0-2.fc26.src.rpm
>> # rpm -qi gedit-plugin-textsize|grep Source
>> Source RPM : gedit-plugins-3.22.0-2.fc26.src.rpm
>>
>> Meistens ist bei den Paketen auch eine URL zu einer Webseite
angegeben, von der man weitere Informationen bekommt.
>>
>> # rpm -qi gedit|grep URL
>> URL :
https://wiki.gnome.org/Apps/Gedit
>>
>> Dort findet man meistens auch Informationen zum Download des
originalen Source Codes. Und im Abschnit Entwickler (Development)
findet sich oft auch ein Link zu einem Softwareverwaltungssystem, z.B.
ein git Repository.
>>
>>
>> 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...
>>>
>>
>> Keine Ahnung - ich verwende Emacs - dort kann man (fast) alles
einstellen wie man möchte. Es kommt aber nicht jeder damit zurecht
(habe ich mir sagen lassen).
>>
>>
>> 4. verstehe den upstream bug report nicht - wenn die Funktionalität
ganz verschwindet, hofft man dann darauf, dass eine gnome-extension
geschrieben wird?
>>>
>>
>> Nein, die Entwickler halten die Funktionalität nicht für relevant
und wollen sie (zumindest im Grundprodukt) nicht (mehr) haben. (Das
passierte bei GNOME seit GNOME 3 leider sehr oft - alles soll wohl
"einfach" sein.) Die Plugins schreiben meisten Leute, die mit dem
"einfach" nicht zufrieden sind. Es gibt aber auch sachliche Gründe für
keine zu große Funktionalität in einem Produkt, und ggf. das Auslagern
in Plugins: Weniger komplexer Code kann einfacher auf Fehler und
richtiges funktionieren überprüft werden.
>>
>> Viele Grüße
>>
>> Edgar
>> ------------------------------
>>
>> 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
>
>