Cara mengubah ukuran font eclipse

8

Saya mencoba mengurangi ukuran font yang digunakan di Eclipse. Saya sudah membaca beberapa catatan tentang bagaimana melakukan ini, tetapi tidak ada satu pun yang membuat perbedaan.

Jelas, mengubahnya dalam preferensi Eclipse tidak berhasil.

Jawaban umum tentang menggunakan "Penampilan-> Fon" tidak berfungsi, karena tidak ada tab "Fon". Saya yakin saya melihat satu orang mengatakan bahwa tab "Font" tidak seharusnya ada di sana lagi.

Saran berikutnya adalah menginstal MyUnity dan mengubah pengaturan font di sana. Tampaknya mengubah font yang digunakan di aplikasi lain, seperti gnome-terminal dan window header, tetapi masih tidak memiliki efek pada Eclipse.

fonts eclipse David M. Karr
sumber

Solusi ini berhasil untuk saya: stackoverflow.com/questions/11805784/…

Gabriel Mendez

6

Coba ini:

Edit e4_default_gtk.css.

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

Tambahkan di akhir:

* {
  font-size:8;
}

Simpan dan mulai Eclipse.

Ini bekerja untuk saya di Ubuntu 14.04 dan Eclipse Luna.

Tiago Norberto
sumber

bekerja seperti pesona. Semua ukuran font menjadi lebih kecil.

Evan Hu

vim ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.csstidak dimaksudkan untuk disalin secara harfiah benar? Ini membuka file kosong untuk saya.

MadMike

Anda mungkin perlu mengedit file yang berbeda tergantung pada tema aktif Anda, mis css/e4-dark.css.

mapm

4

Saya menemukan bagian yang hilang dari ini. Bagian yang sulit adalah mengontrol ukuran font untuk tampilan non-editor, seperti paket explorer. Saya menemukan yang berikut, yang bermanfaat bagi saya:

Ukuran font yang lebih kecil untuk Eclipse di Linux

David M. Karr
sumber

2

Dalam rilis Eclipse Oxygen (dan kemudian), file CSS telah di-refactored dan font-sizegaya dasar sekarang harus diedit e4_basestyle.css.

javabrett
sumber

1

pergi ke menu Window -> Preferences, di sini pergi ke General -> Appearance -> Colors and Fonts, ini menunjukkan konfigurasi untuk perspektif, seperti java. Dalam opsi java, pilih The Java editor text font is used by Java editors.dan setelah Edit ...tombol, di sini Anda dapat mengubah proposisi font.

richie-torres
sumber

5

Ketika saya berkata "Jelas, mengubahnya di preferensi Eclipse tidak melakukannya", itu berarti saya sudah mencobanya.

David M. Karr

jadi apa yang kamu butuhkan? jawabannya mengubah font, saya uji.

richie-torres

Oke, Anda benar, itu mengubah tampilan editor. Namun, saya tampaknya tidak dapat mengubah ukuran font untuk tampilan lain.

David M. Karr

Anda ingin mengubah font semua IDE (menu, panel, dll)?

richie-torres

Itulah idenya, ya.

David M. Karr

1

Saya mencoba Myunity di ubuntu12.04 64bit dan berhasil. Jika Anda mengubah font sistem, ini mempengaruhi font gerhana di menu dan tab. Untuk konten teks dalam editor teks gerhana Anda harus mengubah pengaturan font dari halaman properti gerhana itu sendiri.

a.toraby
sumber

1

Ikuti langkah-langkah ini: