Display DPI can be set using Xft.dpi in ~/.Xresources - but voc2gui does not scale according to that setting.
I know there's GDK_SCALE, but this only allows for integers as scaling factors. Since we're using old MacBook Pros with Retina Displays (2560x1600px), we'd need a scaling factor of about 1.8, which can't be set using GDK_SCALE.
Display DPI can be set using Xft.dpi in ~/.Xresources - but voc2gui does not scale according to that setting. I know there's GDK_SCALE, but this only allows for integers as scaling factors. Since we're using old MacBook Pros with Retina Displays (2560x1600px), we'd need a scaling factor of about 1.8, which can't be set using GDK_SCALE.