From 7e225ae5d61efdbd94e4f7aa423ec70b454f0650 Mon Sep 17 00:00:00 2001
From: anna <Anna.Kozlova@jetbrains.com>
Date: Thu, 27 Oct 2011 17:24:18 +0200
Subject: [PATCH] plugins: try default font for names

---
 .../com/intellij/ide/plugins/PluginManagerColumnInfo.java    | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerColumnInfo.java b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerColumnInfo.java
index 72313053a43b..65590b9e7bb7 100644
--- a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerColumnInfo.java
+++ b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerColumnInfo.java
@@ -21,9 +21,9 @@ import com.intellij.openapi.util.Comparing;
 import com.intellij.openapi.util.text.StringUtil;
 import com.intellij.util.text.DateFormatUtil;
 import com.intellij.util.ui.ColumnInfo;
+import com.intellij.util.ui.UIUtil;
 import org.jetbrains.annotations.NotNull;
 
-import javax.swing.*;
 import java.awt.*;
 import java.util.Comparator;
 
@@ -240,7 +240,6 @@ class PluginManagerColumnInfo extends ColumnInfo<IdeaPluginDescriptor, String> {
   }
 
   protected static Font getNameFont() {
-    Font f = new JLabel().getFont();
-    return f.deriveFont(Math.min(14.f, f.getSize() * 1.1f));
+    return UIUtil.getLabelFont();
   }
 }