Ein Update von der LTS-Basis 18.04 (mit Filezilla Version 3.28.0) auf 20.04 (mit Filezilla Version 3.46.3) bringt mir ein Problem mit der Schriftgröße in Filezilla. Auf meinem großen Bildschirm sind alle Texte in Filezilla sehr winzig ausgegeben.
Vergrößern der Schriftarten in den KDE-Einstellungen vergrößert alle Schriften in KDE und die passen aber hervorragend
Ebenso entfällt damit die Skalierung der Anzeige
Hat jemand eine Idee, wo und wie diese Einstellungen für Filezilla vorgenommen werden können?
FileZilla greift auf das GTK-Toolkit zurück. Dafür gibt es unter KDE eigene Systemeinstellungen.
Das ist mir schon klar. Aber unter 'Systemeinstellungen > Anwendung > Stil > Gnome/GTK-Anwendungsstil' lässt sich unter 18.04 und 20.04 nur das GTK-Design Breeze oder Breeze-Dark auswählen. Sonst nichts.
Im Wiki (allerdings für 16.04) sieht man, dass man früher mehr Auswahl hatte.
Wenn ich hier etwas ändere, steht nach dem Aufruf von Filezilla wieder der alte Font drin. Filezilla holt sich also den benutzten Font woanders her und speichert das dann in layout.xml.
