MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

plugins: try default font for names

Browse Source
This commit is contained in:
anna
2011-10-27 17:34:33 +02:00
parent 839a1f9d50
commit 7e225ae5d6
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerColumnInfo.java
+2 -3
View File
@@ -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();
}
}