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: