[Gretl-devel] Screen resolution and gretl window "sharpness"

Hi, I have now seen gretl operate on a Laptop with a 1920x1080 resolution on a fairly small screen, thus high pixel density. Gretl's window and the fonts in there look noticeably less sharp / more pixelated than other programs (say, more "native" Windows programs). I suppose this is a GTK limitation? Or is there something that can be done? thanks sven