Jawaban:
Python sendiri tidak memiliki konsol - tetapi Anda mungkin menggunakannya dalam program emulator terminal grafis, seperti gnome-terminal atau xterm. Di gnome-terminal, Control + Plus (iirc) memberi Anda font yang lebih besar, dan dalam xterm, Shift + NumpadPlus. Anda juga dapat menyimpan preferensi Anda, baik menggunakan menu atau menggunakan beberapa Sumber daya X .
Xterm (dan beberapa yang lain) juga memiliki menu popup, jika Anda memegang Control dan tombol mouse.
Setelah pengujian di PyMOL, saya menemukan bahwa ia menggunakan Tkinter, dan memiliki kode pemilihan font yang di-hardcode pmg_tk/skins/normal/__init__.py
. Dalam salinan saya, ini memilih font Bitstream Vera Sans Mono, ukuran titik dari 9 hingga 12, sehingga "PyMOL" memiliki lebar setidaknya 31 piksel. Mengubah batas yang dimungkinkan, tetapi saya sarankan mengirimkan permintaan fitur untuk membuatnya dapat dikonfigurasi.
PyMOL memiliki dua jendela, Tcl / Tk Panel Kontrol Atas dan OpenGL Viewer yang lebih rendah. Anda dapat mengontrol ukuran font Panel Kontrol Atas menggunakan Setting > Output Size > ...
. Anda dapat mengontrol ukuran teks Menu Obyek Pemirsa OpenGL (tombol A / S / H / L / C) dengan memilih Setting > Control Size > ...
. Saat ini Anda tidak dapat (dengan mudah) mengedit ukuran teks konsol jendela Penampil.
Berikut adalah dua file yang memecahkan masalah font (setidaknya berfungsi untuk PyMOL 1.4.1
): PMGApp.py yang harus di:
modules/pmg_tk
dan juga __init__.py
file dari:
modules/pmg_tk/skins/normal
Tangkapan layar:
/usr/share/pyshared/pmg_tk/PMGApp.py
dan di sana berubahpass
setelahdef initializeTk_unix(self):
baris demi barisself.root.option_add('*Font', 'Tahoma 14')
. Font terakhir yang harus diperbaiki - adalah font viewer PyMOL - masih kecil.