From 7b058f470adefc3534fea9aa6a85e95799aaf033 Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Sun, 2 Feb 2014 17:46:06 +0100 Subject: [PATCH] proper border for description panel --- .../src/com/intellij/ide/plugins/PluginManagerMain.java | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java index f2fca6ba66b2..0889497f5ab2 100644 --- a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java +++ b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java @@ -138,10 +138,8 @@ public abstract class PluginManagerMain implements Disposable { final JComponent component = myActionToolbar.getComponent(); myToolbarPanel.add(component, BorderLayout.CENTER); myToolbarPanel.add(myFilter, BorderLayout.WEST); - //Border border = UIManager.getBorder("Table.scrollPaneBorder"); - //if (border == null) { - Border border = new BorderUIResource.LineBorderUIResource(Gray._220, 1); - //} + + Border border = new BorderUIResource.LineBorderUIResource(new JBColor(Gray._220, Gray._55), 1); myInfoPanel.setBorder(border); }