Jede Schriftart in Eclipse sieht gut aus, aber die Titel von Tabs sind größer als ich es mir vorstelle. Ich versuche es zu ändern, aber Eclipse erkennt die Änderung nicht. Um eine Änderung vorzunehmen, navigiere ich zu Preferences- & gt; Allgemein- & gt; Aussehen- & gt; Schrift und Farben. Ich bearbeite "Part title font", aber die Änderung bleibt nicht, obwohl die Vorschau OK ist.
Wenn Sie Linux verwenden, der GTK für Eclipse verwendet, können Sie die Datei $ {ECLIPSE_PATH} /plugin/org.eclipse.platform _ $ {version} /css/e4_default_gtk.css ändern. Wenn Sie auf einem anderen Betriebssystem sind, können Sie auch entsprechende CSS-Dateien finden.
finde
%Vor%Ändern Sie die Schriftgröße auf 9 oder eine andere gewünschte Größe. Nach der Neustart-Eclipse wird die Schriftgröße der Ansichts-Titelleiste geändert.
Zuerst die Lösung:
Ich habe das Problem "gelöst", indem ich diesen Rat von der ganz unten auf der ArchLinux-Wiki-Seite für Eclipse und Entfernen aller .css-Dateien aus /usr/share/eclipse/plugins/org.eclipse.platform_{version number} / css /
Dadurch konnte mein GTK-Thema die volle Kontrolle übernehmen und alle Farben und Schriftgrößen einstellen, was ich wollte.
Wenn Sie tiefer in die Ursache dieses Problems eintauchen möchten, hier sind einige Links, die ich gefunden habe:
Diese letzte Seite könnte etwas verwirrend sein. Die Quintessenz ist, dass sie in ein ganz neues Themensystem umgezogen sind und aus Gründen, die ich wahrscheinlich nie verstehen werde, in defekten Optionen bleiben.
Weitere Informationen, nur Google " Theming-Eclipse 4 mit CSS ".