VMD-L Mailing List

From: Miroslav Krepl (krepl_at_seznam.cz)
Date: Fri Jul 10 2015 - 16:29:49 CDT

Hi,

thank you. I suspected as much.

Do you please have any suggestions on how to make X11 select higher DPI
fonts? I have been searching and trying different methods for hours to
no end :(

I have NVIDIA proprietary drivers and Linux Mint running mdm display
manager.

Thank you.

Miroslav Krepl

On Thu, 2015-07-09 at 23:20 -0500, John Stone wrote:
> Hi,
> There's nothing you can do on the VMD side, but you can change
> the X server configuration so that it picks better fonts for your
> particular display. If you have a high resolution, but small sized
> display, you will want to ensure that X11 is selecting the 100+ dpi
> fonts rather than 75dpi fonts, for example...
>
> Cheers,
> John Stone
> vmd_at_ks.uiuc.edu
>
> On Wed, Jul 08, 2015 at 06:14:36PM +0200, Miroslav Krepl wrote:
> > Hello,
> >
> > please, is there any way to increase the text size in VMD main menu and
> > the various submenus?
> >
> > I am running at 1920x1200 resolution and the text size is already rather
> > small for my taste.
> >
> > I run the VMD version 1.9.2 on Linux kernel 3.2.0-23.
> >
> > Thank you very much!
> >
> > Best regards,
> >
> > Miroslav Krepl
>