No UI scaling on hidpi screens (on linux / gnome)

[crispinb]

On my hidpi laptop screen (Ubuntu 20.04 w/ gnome 3.36, xorg &/or wayland), the REBL window is rendered at 1x, resulting in unreadably tiny text.

I remember other java applications, having had similar issues in the past, though I think the ones I've used (notably IntelliJ Idea) were Swing rather than JavaFX apps.

I have tried a few of the java args when launching REBL that had earlier helped with other apps (eg -Dsun.java2d.uiScale.enabled=true) to no avail.

[crispinb]

I've just noticed this relates to #19. Pretty sure adjusting font size is the wrong approach for that issue also -- it's a matter of UI scaling.

[crispinb]

I've since discovered the desired scaling can be achieved by adding jvm options. The exact option needed will depend on the desktop environment, but in the case of Ubuntu/Gnome it's (eg. for 2x scaling) -Dglass.gtk.uiScale=200%