Thank you Thomas and Piotr,
Unfortunately I only have PyMOL 1.7.6.4 - Incentive available at the
moment. I will try the “display_scale_factor” option once my pymol
installation is updated.
Best regards, Mykola Dimura.
On 1 May 2017 at 20:38, Thomas Holder wrote:
> Hi Mykola,
>
> Incentive PyMOL
Hi Mykola,
Incentive PyMOL 1.8.4 introduced the “display_scale_factor” setting which
allows scaling of the internal GUI, prompt, fonts etc. by a factor of 2. In
MacPyMOL this is also linked to the “Display > Retina Resolution” menu option
and the “--retina” launch argument.
Hope that helps.
C
It's a pity, that internal_gui font size does not scale with
internal_gui_control_size. This is the only thing missing for pymol to
be usable on high-dpi displays. Is it possible that this feature will
appear in future pymol versions?
Best regards, Mykola Dimura.
>> Unfortunately, the graphics wi
m: Thomas Holder [thomas.hol...@schrodinger.com]
> Sent: Thursday, April 07, 2016 9:59 AM
> To: Kumar, Abhinav
> Cc: pymol-users@lists.sourceforge.net
> Subject: Re: [PyMOL] Text Font size
>
> Hi Abhinav,
>
> The attached plugin will set a larger font when PyMOL starts.
: pymol-users@lists.sourceforge.net
Subject: Re: [PyMOL] Text Font size
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
On 07 Apr 2016, at 11:41, Kumar, Abhinav wrote:
> Thanks Matic.
>
v Kumar, PhD
> Senior Scientist, Bioinformatics
> Intrexon, Inc.
> 329 Oyster Point Blvd., South San Francisco, CA 94080
> (650) 597-4072 | aku...@intrexon.com
>
> From: Matic Kisovec [matic.kiso...@ki.si]
> Sent: Wednesday, April 06, 2016 10:26 PM
> To: pymol-users@lists
94080
(650) 597-4072 | aku...@intrexon.com
From: Matic Kisovec [matic.kiso...@ki.si]
Sent: Wednesday, April 06, 2016 10:26 PM
To: pymol-users@lists.sourceforge.net
Subject: Re: [PyMOL] Text Font size
Dear Abhinav,
in Pymol version 1.8.0 under Settings>GUI Font S
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 siz
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, C
