You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
On my GPD Pocket the Swing UI has very small text on menus etc. On a Macbook with a Pixel display it is tiny. It should be a reasonable size on any display.
The text was updated successfully, but these errors were encountered:
Java >9 already reads the GDK_SCALE environment variable, if present, but unfortunately more recent GNOME etc. environments do not set this variable! The code to discover the correct scale factor will vary depending on the underlying toolkit used; I don't know whether there is a platform-neutral API for this in recent Swing/Java versions.
At least the above workaround enabled me to run rabbit-escape on my hi-res GNU/Linux systems!
On my GPD Pocket the Swing UI has very small text on menus etc. On a Macbook with a Pixel display it is tiny. It should be a reasonable size on any display.
The text was updated successfully, but these errors were encountered: