Comment réparer Ubuntu 17.10 / Java 9 HDPI Scaling?
Récemment, j'ai constaté que l'utilisation d'Ubuntu 17.04 et de Java 9 entraînait une mise à l'échelle correcte des applications Java Swing pour mon moniteur hdpi. 17.04 et Java 8 n'ont pas été mis à l'échelle correctement et ce problème a été résolu immédiatement lorsque j'ai mis à jour Java.
Cette semaine, je suis passé à 17h10 (ce qui était nécessaire pour résoudre un problème sans rapport avec les points d'accès Wi-Fi capturés).
Malheureusement, Ubuntu 17.10 avec Java 9 ne redimensionne plus l'application Java Swing et il ne me reste plus qu'à relire de minuscules écritures.
Est-ce que quelqu'un sait ce qui n'allait pas et comment y remédier?
La page de bogue suivante mentionne un problème similaire mais semble indiquer qu'il a été résolu, mais sans préciser comment:
https://bugs.launchpad.net/ubuntu/+source/gnome-Shell/+bug/171332
Exécuter avec GDK_SCALE=2 Java ... (ne fonctionne pas pour Oracle Java 8 ...)