Jak zmienić rozmiary czcionek Eclipse

8

Próbuję zmniejszyć rozmiary czcionek używanych w Eclipse. Przeczytałem kilka notatek mówiących o tym, jak to zrobić, ale żadna z nich nie zrobiła różnicy.

Oczywiście zmiana tego w preferencjach Eclipse tego nie robi.

Częste odpowiedzi dotyczące używania „Wygląd-> Czcionki” nie działają, ponieważ nie ma zakładki „Czcionki”. Wydaje mi się, że widziałem, jak jedna osoba powiedziała, że zakładka „Czcionki” nie powinna już tam być.

Następną sugestią jest instalacja MyUnity i zmiana tam ustawień czcionek. Wyglądało to na zmianę czcionek używanych w innych aplikacjach, takich jak terminal gnome i nagłówki okien, ale nadal nie miało to wpływu na Eclipse.

fonts eclipse

— David M. Karr
źródło

To rozwiązanie działało dla mnie: stackoverflow.com/questions/11805784/…

— Gabriel Mendez

6

Spróbuj tego:

Edit e4_default_gtk.css.

vim ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.css

Dodaj na końcu:

* {
  font-size:8;
}

Zapisz i uruchom Eclipse.

To działało dla mnie na Ubuntu 14.04 i Eclipse Luna.

— Tiago Norberto
źródło

działał jak urok. Wszystkie rozmiary czcionek stały się mniejsze.

— Evan Hu

vim ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.cssnie ma być dosłownie kopiowane, prawda? To otworzy dla mnie pusty plik.

— MadMike

Może być konieczne edytowanie innego pliku w zależności od aktywnego motywu, np css/e4-dark.css.

— mapm

4

Zrozumiałem brakujące elementy tego. Najtrudniejsze jest kontrolowanie rozmiaru czcionki dla widoków innych niż edytor, takich jak eksplorator pakietów. Odkryłem następujące, które załatwiły sprawę dla mnie:

Mniejsze rozmiary czcionek dla Eclipse w systemie Linux

— David M. Karr
źródło

2

W wersji Eclipse Oxygen (i późniejszych) pliki CSS zostały refaktoryzowane i font-sizenależy teraz edytować styl podstawowy e4_basestyle.css.

— javabrett
źródło

1

przejdź do menu Window -> Preferences, tutaj przejdź do General -> Appearance -> Colors and Fontstego pokazu konfiguracji dla perspektyw, takich jak Java. W opcji Java wybierz przycisk The Java editor text font is used by Java editors.i po Edit ..., tutaj możesz zmienić właściwości czcionki.

— richie-torres
źródło

5

Kiedy powiedziałem „Oczywiście, zmiana w preferencjach Eclipse nie robi tego”, to znaczy, że już tego próbowałem.

— David M. Karr

więc czego potrzebujesz? odpowiedź zmienia czcionkę, testuję.

— richie-torres

Ok, masz rację, to zmienia widok edytora. Wydaje się jednak, że nie mogę zmienić rozmiaru czcionki dla innych widoków.

— David M. Karr

chcesz zmienić czcionkę wszystkich IDE (menu, panel itp.)?

— richie-torres

Taki jest pomysł, tak.

— David M. Karr

1

Próbowałem Myunity na Ubuntu12.04 64bit i działało. Zmiana czcionki systemowej wpływa na czcionki zaćmienia w menu i kartach. W przypadku treści tekstowych w edytorach tekstowych zaćmienia należy zmienić ustawienia czcionek ze strony właściwości samego zaćmienia.

— a.toraby
źródło

1

Wykonaj następujące kroki: