Hi Abhinav,
The attached plugin will set a larger font when PyMOL starts. Install it with
the plugin manager. Requires PyMOL 1.8.
Cheers,
Thomas
'''
PyMOL plugin. Sets bigger fonts for the external GUI
'''
def __init_plugin__(self):
self.skin.inc_fontsize(5)
On 07 Apr 2016, at 11:41, Kumar, Abhinav <[email protected]> wrote:
> Thanks Matic.
>
> This is a temporary solution; the fonts return to their original size after
> you quit the current session.
>
> I am looking for a permanent solution.
>
> Thanks,
> Abhinav
>
> Abhinav Kumar, PhD
> Senior Scientist, Bioinformatics
> Intrexon, Inc.
> 329 Oyster Point Blvd., South San Francisco, CA 94080
> (650) 597-4072 | [email protected]
>
> From: Matic Kisovec [[email protected]]
> Sent: Wednesday, April 06, 2016 10:26 PM
> To: [email protected]
> Subject: Re: [PyMOL] Text Font size
>
> Dear Abhinav,
>
> in Pymol version 1.8.0 under Settings>GUI Font Size you can set the GUI Font
> Size.
> Unfortunately this does not affect the fonts in the graphics window as far as
> I know.
>
> Kind regards,
> Matic
>
>
> On 06. 04. 2016 18:01, Kumar, Abhinav wrote:
>> Hi,
>>
>> Is there some way to change the font size of menu items and dropdown options?
>> Also for object names and options in the main graphics window (on the right
>> side)?
>>
>>
>> Thanks,
>> Abhinav
>>
>> Abhinav Kumar, PhD
>> Senior Scientist, Bioinformatics
>> Intrexon, Inc.
>> 329 Oyster Point Blvd., South San Francisco, CA 94080
>> (650) 597-4072 | [email protected]
--
Thomas Holder
PyMOL Principal Developer
Schrödinger, Inc.
------------------------------------------------------------------------------
_______________________________________________
PyMOL-users mailing list ([email protected])
Info Page: https://lists.sourceforge.net/lists/listinfo/pymol-users
Archives: http://www.mail-archive.com/[email protected]
