From 3cb62efac5ed1ea37331765af1a0c5642dd9b344 Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Mon, 12 Jan 2015 23:42:28 +0100 Subject: [PATCH] HiDPI: fix default InsetsUIResources in UIDefaults --- .../src/com/intellij/ide/ui/laf/LafManagerImpl.java | 3 +++ 1 file changed, 3 insertions(+) diff --git a/platform/platform-impl/src/com/intellij/ide/ui/laf/LafManagerImpl.java b/platform/platform-impl/src/com/intellij/ide/ui/laf/LafManagerImpl.java index 7315a310ed02..7ea3ab0875d6 100644 --- a/platform/platform-impl/src/com/intellij/ide/ui/laf/LafManagerImpl.java +++ b/platform/platform-impl/src/com/intellij/ide/ui/laf/LafManagerImpl.java @@ -64,6 +64,7 @@ import javax.swing.event.EventListenerList; import javax.swing.plaf.ColorUIResource; import javax.swing.plaf.DimensionUIResource; import javax.swing.plaf.FontUIResource; +import javax.swing.plaf.InsetsUIResource; import javax.swing.plaf.metal.DefaultMetalTheme; import javax.swing.plaf.metal.MetalLookAndFeel; import javax.swing.plaf.synth.Region; @@ -560,6 +561,8 @@ public final class LafManagerImpl extends LafManager implements ApplicationCompo Object value = entry.getValue(); if (value instanceof DimensionUIResource) { entry.setValue(JBUI.size((DimensionUIResource)value).asUIResource()); + } else if (value instanceof InsetsUIResource) { + entry.setValue(JBUI.insets(((InsetsUIResource)value)).asUIResource()); } else if (value instanceof Integer && entry.getKey().toString().endsWith(".maxGutterIconWidth")) { entry.setValue(Integer.valueOf(JBUI.scale((Integer)value))); }