Portál AbcLinuxu, 12. května 2025 12:42
Eclipse si má brát fonty z nastavení GNOME, myslím, co jsem tak kdysi zjišťoval, že nejdou změnit v Eclipse. KDE na to vliv nemá.
Jedna z cest, na kterou jsem přišel, je spustit gnome-font-properties, čímž se fonty přenastaví a pak Eclipse používá to, co chci já...
Ale proč to tak je... nevím.
switch2
nebo se to dá nastavit přes kcontrol
, pokud nainstalujete gtk-qt-engine
.
Tiskni
Sdílej:
ISSN 1214-1267, (c) 1999-2007 Stickfish s.r.o.