From 7e5c599cc06f5933d0bee30ba1e6d378bdaec5fb Mon Sep 17 00:00:00 2001
From: Karl Tauber <karl@jformdesigner.com>
Date: Thu, 7 May 2020 23:25:57 +0200
Subject: [PATCH] added user scale factor to UI defaults to allow layout
 managers (e.g. MigLayout) to use it

(see https://github.com/mikaelgrev/miglayout/pull/76)
---
 flatlaf-core/src/main/java/com/formdev/flatlaf/FlatLaf.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/flatlaf-core/src/main/java/com/formdev/flatlaf/FlatLaf.java b/flatlaf-core/src/main/java/com/formdev/flatlaf/FlatLaf.java
index 3ec42a7a..febc11e9 100644
--- a/flatlaf-core/src/main/java/com/formdev/flatlaf/FlatLaf.java
+++ b/flatlaf-core/src/main/java/com/formdev/flatlaf/FlatLaf.java
@@ -321,6 +321,11 @@ public abstract class FlatLaf
 		for( FlatDefaultsAddon addon : addons )
 			addon.afterDefaultsLoading( this, defaults );
 
+		// add user scale factor to allow layout managers (e.g. MigLayout) to use it
+		defaults.put( "laf.scaleFactor", (ActiveValue) t -> {
+			return UIScale.getUserScaleFactor();
+		} );
+
 		if( postInitialization != null ) {
 			postInitialization.accept( defaults );
 			postInitialization = null;