Nie można ustawić "Czcionki tytułu części" w środowisku Eclipse w systemie Linux

Question

Każda czcionka w Eclipse wygląda świetnie, ale tytuły zakładek są większe niż wolałabym. Próbuję to zmienić, ale Eclipse nie rozpoznaje zmiany. Aby dokonać zmiany, przechodzę do opcji Preferencje-> Ogólne-> Wygląd-> Czcionka i kolory. Edytuję "czcionkę tytułu części", ale zmiana nie zostaje zachowana, mimo że podgląd jest OK.

Answer 1

Pierwsze rozwiązanie:

I "rozwiązany" problem dla siebie wykonując this advice od samego dołu strony wiki ArchLinux dla Eclipse i usunięcie wszystkich .css plików z/usr/share/Eclipse/plugins /org.eclipse.platform_{version number}/css/

Dzięki temu mój motyw GTK mógł przejąć pełną kontrolę i ustawić wszystkie kolory i rozmiary czcionek, co jest tym, czego chciałem.

Jeśli chcesz się zagłębić w głąb przyczynę tego problemu, oto kilka linków ja położone:

• Bug 344234 - DBCS4.1 Can not change View Title Fonts in preference
• Change Eclipse “Part Title Font” (Version 4.2)
• Eclipse4/CSS

To ostatnia strona może być nieco mylące. Najważniejsze jest to, że przenieśli się do zupełnie nowego systemu tematycznego i pozostawili w uszkodzonych opcjach z powodów, których prawdopodobnie nigdy nie zrozumiem.

Aby uzyskać więcej informacji, po prostu Google "theming eclipse 4 with css".

Answer 2

jeśli używasz systemu Linux używającego GTK dla eclipse, możesz zmienić plik $ {ECLIPSE_PATH} /plugin/org.eclipse.platform _ $ {version} /css/e4_default_gtk.css. Jeśli korzystasz z innego systemu operacyjnego, możesz również znaleźć odpowiednie pliki css.

znaleźć

.MPartStack { 
    font-size: 11; 
    swt-simple: false; 
    swt-mru-visible: false; 
} 

zmienić czcionkę o rozmiarze do 9 lub inny rozmiar chcesz. Po ponownym zaćmieniu rozmiar czcionki paska tytułu zostanie zmieniony.