From 29ba4c241b024de4415852006b94a75ff5ef4f0e Mon Sep 17 00:00:00 2001
From: Konstantin Bulenkov <kb@jetbrains.com>
Date: Fri, 4 Nov 2016 18:16:44 +0100
Subject: [PATCH] dpi aware border

---
 .../intellij/openapi/wm/impl/status/ToolWindowsWidget.java    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/wm/impl/status/ToolWindowsWidget.java b/platform/platform-impl/src/com/intellij/openapi/wm/impl/status/ToolWindowsWidget.java
index e8b8a634cda6..52b457cc5f7a 100644
--- a/platform/platform-impl/src/com/intellij/openapi/wm/impl/status/ToolWindowsWidget.java
+++ b/platform/platform-impl/src/com/intellij/openapi/wm/impl/status/ToolWindowsWidget.java
@@ -30,12 +30,12 @@ import com.intellij.openapi.util.registry.Registry;
 import com.intellij.openapi.util.text.StringUtil;
 import com.intellij.openapi.wm.*;
 import com.intellij.openapi.wm.impl.IdeFrameImpl;
-import com.intellij.ui.IdeBorderFactory;
 import com.intellij.ui.awt.RelativePoint;
 import com.intellij.ui.components.JBLabel;
 import com.intellij.ui.components.JBList;
 import com.intellij.util.Alarm;
 import com.intellij.util.ui.BaseButtonBehavior;
+import com.intellij.util.ui.JBUI;
 import com.intellij.util.ui.TimedDeadzone;
 import com.intellij.util.ui.UIUtil;
 import org.jetbrains.annotations.NotNull;
@@ -147,7 +147,7 @@ class ToolWindowsWidget extends JLabel implements CustomStatusBarWidget, StatusB
             final ToolWindow toolWindow = (ToolWindow)value;
             label.setText(toolWindow.getStripeTitle());
             label.setIcon(toolWindow.getIcon());
-            label.setBorder(IdeBorderFactory.createEmptyBorder(4, 10, 4, 10));
+            label.setBorder(JBUI.Borders.empty(4, 10));
             label.setForeground(UIUtil.getListForeground(isSelected));
             label.setBackground(UIUtil.getListBackground(isSelected));
             final JPanel panel = new JPanel(new BorderLayout());