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?