drracket
drracket copied to clipboard
HiDPI on X11 Linux?
Most applications I use honor the Xresources setting Xft.dpi. It appears DrRacket partially honors this on my system as the menu bar and tab-bar are the correct hidpi font size, whereas the the toolbar/editor/interactions do not appear to pick up this setting.

Running Racket v8.5 [cs].
Is there an environment variable one should set to set up HiDPI on X11 Linux? Thanks.
Might be relevant https://docs.racket-lang.org/gui/windowing-overview.html#%28part._display-resolution%29