From 634cedc54cbcced41f36c97d662cc9b9b5b092e7 Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Tue, 29 Mar 2016 14:53:58 +0200 Subject: [PATCH] add original scale to JBDimension to check when a dimension object needs to be update --- platform/util/src/com/intellij/util/ui/JBDimension.java | 4 +++- 1 file changed, 3 insertions(+), 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 6899bd023084..3cddd8fe8c66 100644 --- a/platform/util/src/com/intellij/util/ui/JBDimension.java +++ b/platform/util/src/com/intellij/util/ui/JBDimension.java @@ -1,5 +1,5 @@ /* - * Copyright 2000-2015 JetBrains s.r.o. + * Copyright 2000-2016 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -22,6 +22,8 @@ import java.awt.*; * @author Konstantin Bulenkov */ public class JBDimension extends Dimension { + public final float originalScale = JBUI.scale(1f); + public JBDimension(int width, int height) { super(scale(width), scale(height)); }