From a468380c8fb4d367e2c655923954146972be5ea1 Mon Sep 17 00:00:00 2001 From: Anton Tarasov Date: Wed, 2 Nov 2016 17:21:01 +0300 Subject: [PATCH] [followup] IDEA-CR-15262: Make JBUI.scale a bean property; add JBDimension.update() --- platform/util/src/com/intellij/util/ui/JBDimension.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/util/src/com/intellij/util/ui/JBDimension.java b/platform/util/src/com/intellij/util/ui/JBDimension.java index 01bab7988bd2..6aef6968930e 100644 --- a/platform/util/src/com/intellij/util/ui/JBDimension.java +++ b/platform/util/src/com/intellij/util/ui/JBDimension.java @@ -22,7 +22,7 @@ import java.awt.*; * @author Konstantin Bulenkov */ public class JBDimension extends Dimension { - public float myJBUIScale = JBUI.scale(1f); + float myJBUIScale = JBUI.scale(1f); public JBDimension(int width, int height) { super(scale(width), scale(height));