Como alterar o tamanho da fonte do eclipse

8

Estou tentando reduzir o tamanho da fonte usada no Eclipse. Eu li várias notas falando sobre como fazer isso, mas nenhuma delas fez a diferença.

Obviamente, alterá-lo nas preferências do Eclipse não o faz.

As respostas comuns sobre o uso de "Aparência-> Fontes" não funcionam, porque não há uma guia "Fontes". Acredito que vi uma pessoa dizer que a guia "Fontes" não deveria estar mais lá.

A próxima sugestão é instalar o MyUnity e alterar as configurações de fonte lá. Isso pareceu alterar as fontes usadas em outros aplicativos, como o gnome-terminal e os cabeçalhos das janelas, mas ainda não teve efeito no Eclipse.

fonts eclipse David M. Karr
fonte

Esta solução funcionou para mim: stackoverflow.com/questions/11805784/…

Gabriel Mendez

6

Tente o seguinte:

Edit e4_default_gtk.css.

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

Adicione no final:

* {
  font-size:8;
}

Salve e inicie o Eclipse.

Isso funcionou para mim no Ubuntu 14.04 e Eclipse Luna.

Tiago Norberto
fonte

funcionou como um encanto. Todos os tamanhos de fonte ficaram menores.

Evan Hu

vim ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.cssnão deve ser copiado e colado literalmente, certo? Isso abre um arquivo vazio para mim.

21317 MadMike

Pode ser necessário editar um arquivo diferente, dependendo do seu tema ativo, por exemplo css/e4-dark.css.

Map 31/08/19

4

Eu descobri as peças que faltavam. A parte difícil é controlar o tamanho da fonte para as visualizações que não são do editor, como o explorador de pacotes. Descobri o seguinte, que fez o truque para mim:

Tamanhos de fonte menores para Eclipse no Linux

David M. Karr
fonte

2

Na versão Eclipse Oxygen (e posterior), os arquivos CSS foram refatorados e o font-sizeestilo base agora deve ser editado e4_basestyle.css.

javabrett
fonte

1

vá para o menu Window -> Preferences, aqui vá para General -> Appearance -> Colors and Fonts, este show configurações para perspectivas, como java. Na opção java, selecione The Java editor text font is used by Java editors.e depois do Edit ...botão, aqui você pode alterar as propriedades da fonte.

richie-torres
fonte

5

Quando eu disse "Obviamente, alterá-lo nas preferências do Eclipse não funciona", isso significa que eu já tentei.

David M. Karr

então o que você precisa? a resposta muda a fonte, eu testei.

Richie-torres

Ok, você está certo, isso muda a visualização do editor. No entanto, parece que não consigo alterar o tamanho da fonte para os outros modos de exibição.

David M. Karr

Deseja alterar a fonte de todo o IDE (menu, painel, etc)?

richie-torres

Essa é a ideia, sim.

precisa

1

Eu tentei o Myunity no ubuntu12.04 64bit e funcionou. Se você alterar a fonte do sistema, ela afetará as fontes do eclipse nos menus e nas guias. Para o conteúdo de texto nos editores de texto do eclipse, você deve alterar as configurações de fonte na página de propriedades do próprio eclipse.

a.toraby
fonte

1

Siga estes passos: