Acesse o buffer de rolagem do xterm como um arquivo

Question

gboffi

Asked: 2023-03-28 22:06:03 +0800 CST2023-03-28 22:06:03 +0800 CST 2023-03-28 22:06:03 +0800 CST

Mude a fonte usada pelo XTerm para seus menus

Aqui estou eu, usando um display de 185 dpi, e a fonte dos menus XTerm¹ contorna o pequeno ilegível.

Investigando os XResources do XTerm, encontrei um nome promissor, mas

$ xrdb -merge
XTerm*SimpleMenu*menuLabel.font: -*-helvetica-medium-r-*-*-*-180-100-100-*-*-iso10646-1^D
$

não ajudou.

É possível especificar uma fonte maior para os menus do XTerm?

1 As fontes do widget VT100 (?) estão perfeitamente corretas, não se trata de alterar as fontes da janela principal do XTerm.

meuh · Answer 1 · 2023-03-28T23:58:19+08:00

Best Answer

meuh

Você pode ser menos específico e deve funcionar:

xterm -xrm 'XTerm*SimpleMenu*font: -*-helvetica-medium-r-*-*-*-180-100-*-*-*-*-*'

(Você parece ter um extra ^Dno final do seu exemplo). Verifique se você tem a fonte, teste com

xlsfonts -fn '-*-helvetica-medium-r-*-*-*-180-100-*-*-*-*-*'

e encontre um com xfontsel.

gboffi · Answer 2 · 2023-03-29T01:38:19+08:00

gboffi

Aqui está minha (ainda mais) especificação de fonte genérica

$ xrdb -merge
XTerm*font: -*-helvetica-medium-r-*-*-*-140-100-100-*-*-iso10646-1
$ xterm

e aqui está a aparência do menu do XTerm.