Abra o Mapa de Caracteres no Ubuntu, selecione "Serif" no menu suspenso de fontes e clique com o botão direito em um caractere no conjunto de caracteres Latin-1 ("Latin Básico"). O nome da fonte aparecerá na parte inferior da janela que aparece.
Eu tenho usado o TeXworks 0.4.5 r1280 no Windows 7 e o TeXworks 0.5 r952 no Ubuntu 12.04. Eu gosto da fonte no Ubuntu muito mais do que no Windows. É mais fácil de ler e trabalhar. No Ubuntu esta fonte é chamada "Serif" nas configurações do TeXworks:
NoWindows,nãoexiste:
Onde posso encontrar essa fonte em algum formato que eu possa instalar e usar no Windows 7? Poderia ser fonte embutida no TeXworks ou é uma fonte de todo o sistema?
Atualização: Como sugerido por Ignacio, usei o Mapa de Caracteres e descobri que essa é uma fonte DejaVu Serif, que pode ser encontrada em /usr/share/fonts/truetype/ttf-dejavu/DejaVuSerif.ttf
. Eu copiei este arquivo para a máquina Windows, abri-o com o Windows Font Viewer e instalei-o. Depois de reiniciar o TeXworks, ele apareceu na lista de fontes como DejaVu Serif
. Para melhorar ainda mais a aparência da fonte, ajustei o valor de resolução da tela para corresponder ao meu monitor (configuração encontrada na guia Visualizar na caixa de diálogo Preferências):
Abra o Mapa de Caracteres no Ubuntu, selecione "Serif" no menu suspenso de fontes e clique com o botão direito em um caractere no conjunto de caracteres Latin-1 ("Latin Básico"). O nome da fonte aparecerá na parte inferior da janela que aparece.
Acredito que não exista a fonte serif . Eu acho que a sua serif de libertação , ou deja vu serif . Você é muito propenso a encontrar a fonte que está procurando em /usr/share/fonts/
, presumivelmente no diretório 'truetype'.