PyMOL: Como ampliar a fonte do console do python?

Question

Existe uma maneira de aumentar a fonte do console do python? Eu estou no Kubuntu 11.04.

    

Answer 1

O próprio Python não possui um console - mas você provavelmente o está usando em um programa emulador de terminal gráfico, como gnome-terminal ou xterm. No gnome-terminal, o Control + Plus (iirc) fornece uma fonte maior e, no xterm, Shift + NumpadPlus. Você também pode salvar sua preferência, usando o menu ou usando alguns recursos X .

O Xterm (e alguns outros) também possui menus pop-up, se você mantiver o controle e um botão do mouse.

Após o teste no PyMOL, descubro que ele usa o Tkinter e tem um código de seleção de fontes codificadas em pmg_tk/skins/normal/__init__.py . Na minha cópia, ele seleciona uma fonte Bitstream Vera Sans Mono, tamanho de pontos de 9 a 12, de modo que "PyMOL" tenha pelo menos 31 pixels de largura. Alterar os limites é possível, mas sugiro enviar uma solicitação de recurso para configurá-la.

    

Answer 2

O PyMOL tem duas janelas, um painel de controle superior Tcl / Tk e um visualizador OpenGL menor. Você pode controlar o tamanho da fonte do painel de controle superior usando Setting > Output Size > ... . Você pode controlar o tamanho do texto do Objeto do Visualizador do OpenGL (os botões A / S / H / L / C) selecionando Setting > Control Size > ... . Você não pode atualmente (facilmente) editar o tamanho do texto do console da janela do Viewer.

    

Answer 3

Aqui estão dois arquivos que resolvem o problema de fonte (funciona pelo menos para PyMOL 1.4.1 ): PMGApp.py , que deve estar em:

modules/pmg_tk

e também o arquivo __init__.py de:

modules/pmg_tk/skins/normal

Screenshoot: