From a459d4096102ac933943cf0b1610a368a93bf9c8 Mon Sep 17 00:00:00 2001 From: Reinhard Pointner Date: Mon, 5 Mar 2018 18:57:51 +0700 Subject: [PATCH] disable MigLayout scaling to fix layout on high-resolution screens --- source/net/filebot/platform/windows/WinAppUtilities.java | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/source/net/filebot/platform/windows/WinAppUtilities.java b/source/net/filebot/platform/windows/WinAppUtilities.java index 0c378ea0..f6e073fe 100644 --- a/source/net/filebot/platform/windows/WinAppUtilities.java +++ b/source/net/filebot/platform/windows/WinAppUtilities.java @@ -13,6 +13,8 @@ import com.sun.jna.platform.win32.Shell32; import com.sun.jna.platform.win32.WinError; import com.sun.jna.ptr.PointerByReference; +import net.miginfocom.layout.PlatformDefaults; + public class WinAppUtilities { public static void setAppUserModelID(String appID) { @@ -38,6 +40,9 @@ public class WinAppUtilities { public static void initializeApplication() { // improved UI defaults UIManager.put("TitledBorder.border", createCompoundBorder(createLineBorder(new Color(0xD7D7D7), 1, true), createCompoundBorder(createMatteBorder(6, 5, 6, 5, new Color(0xE5E5E5)), createEmptyBorder(0, 2, 0, 2)))); + + // disable MigLayout auto-scaling (see https://github.com/mikaelgrev/miglayout/issues/53) + PlatformDefaults.setLogicalPixelBase(PlatformDefaults.BASE_REAL_PIXEL); } private WinAppUtilities() {