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
