diff options
| author | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-08-02 11:09:30 +0200 |
|---|---|---|
| committer | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-08-02 11:09:30 +0200 |
| commit | 455b0df12d9bf78c502f5546aee12a287cc13652 (patch) | |
| tree | 1b3e0499f34f6346a95c912124db38ee27ce98dc /pdf-over-gui/src | |
| parent | ada27c42f0e3acd910535b0749089118fb1e2d18 (diff) | |
| download | pdf-over-455b0df12d9bf78c502f5546aee12a287cc13652.tar.gz pdf-over-455b0df12d9bf78c502f5546aee12a287cc13652.tar.bz2 pdf-over-455b0df12d9bf78c502f5546aee12a287cc13652.zip | |
fix double display scaling in pdf preview, cf. #106
Diffstat (limited to 'pdf-over-gui/src')
| -rw-r--r-- | pdf-over-gui/src/main/java/at/asit/pdfover/gui/Main.java | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pdf-over-gui/src/main/java/at/asit/pdfover/gui/Main.java b/pdf-over-gui/src/main/java/at/asit/pdfover/gui/Main.java index c41b59de..77e71581 100644 --- a/pdf-over-gui/src/main/java/at/asit/pdfover/gui/Main.java +++ b/pdf-over-gui/src/main/java/at/asit/pdfover/gui/Main.java @@ -45,7 +45,6 @@ public class Main { * @throws IOException */ public static void main(String[] args) throws IOException { - try { log.info("This is " + Constants.APP_NAME_VERSION + ", " + "running on " + System.getProperty("os.arch") + " " + System.getProperty("os.name") + ", " + @@ -56,12 +55,15 @@ public class Main { configDir.mkdir(); } - // force loading the IAIK JCE + // force loading the IAIK JCE (cf. #95) IAIK.addAsProvider(); - // force keystore type (Adoptium JRE 17 still ships with JKS) + // force keystore type (Adoptium JRE 17 still ships with JKS, cf. #95) System.setProperty("javax.net.ssl.trustStoreType", "jks"); + // disable display scaling for AWT components embedded in SWT (cf. #106) + System.setProperty("sun.java2d.uiScale", "1"); + log.debug("Starting stateMachine ..."); (new StateMachine(args)).start(); log.debug("Ended stateMachine ..."); |