É possível alterar a fonte e o tamanho
de ponto das informações exibidas nas caixas de diálogo do Functional Tester,
bem como aquelas que fazem parte do IDE do Eclipse. Para as caixas de diálogo do IDE e do EditorJava, faça isso por meio das Preferências do Workbench.
Por Que e Quando Desempenhar Esta Tarefa
Para alterar a fonte nas Preferências do Workbench:
- Clique em , expanda Workbench ,
e clique em Cores e Fontes.
- Na lista de Cores e Fontes,
selecione o tipo de texto que você deseja alterar. Na página de preferências Cores e Fontes, é possível alterar a fonte do banner, a fonte do cabeçalho e a fonte do texto, uma de cada vez.
- Para utilizar as fontes do sistema, clique em Utilizar Fonte do Sistema.
Você deve utilizar esta opção para linguagens DBCS.
Para utilizar uma fonte diferente, clique em Alterar. Na caixa de diálogo Fonte, selecione sua fonte e clique em OK.
- Para alterar a fonte no Editor Javana lista Cores e Fontes, execute as seguintes etapas:
- Expanda Java.
- Clique em Fonte do Texto do Editor
(padrões para a Fonte do Texto).
- Clique em Restaurar Padrões.
O Editor Java seleciona o conjunto de fontes na página de preferências Fonte do Workbench, pois o Editor Java utiliza essa preferência por padrão.
- Clique em OK. A nova fonte não entra em efeito imediatamente na caixa de diálogo em que foi configurada
(caixa de diálogo Ferramenta de Configuração de Aplicativos ou Ativar Ambientes).