mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
add original scale to JBDimension to check when a dimension object needs to be update
This commit is contained in:
@@ -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));
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user