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

better font sizes for Windows and Linux

Browse Source
This commit is contained in:
Konstantin Bulenkov
2014-02-24 11:35:35 +01:00
parent 621a2b3f4d
commit e5fe842c16
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/PluginsTableRenderer.java
+7 -2
View File
@@ -48,7 +48,12 @@ public class PluginsTableRenderer extends DefaultTableCellRenderer {
public PluginsTableRenderer(IdeaPluginDescriptor pluginDescriptor) {
myPluginDescriptor = pluginDescriptor;
final Font smallFont = UIUtil.getLabelFont(SystemInfo.isMac ? UIUtil.FontSize.MINI : UIUtil.FontSize.SMALL);
final Font smallFont;
if (SystemInfo.isMac) {
smallFont = UIUtil.getLabelFont(UIUtil.FontSize.MINI);
} else {
smallFont = UIUtil.getLabelFont().deriveFont(Math.max(UIUtil.getLabelFont().getSize() - 2, 11f));
}
myName.setFont(UIUtil.getLabelFont().deriveFont(UIUtil.getLabelFont().getSize() + 1.0f));
myStatus.setFont(smallFont);
myCategory.setFont(smallFont);
@@ -69,7 +74,7 @@ public class PluginsTableRenderer extends DefaultTableCellRenderer {
final Color fg = UIUtil.getTableForeground(isSelected);
final Color bg = UIUtil.getTableBackground(isSelected);
final Color grayedFg = isSelected ? fg : new JBColor(Gray._130, Gray._200);
final Color grayedFg = isSelected ? fg : new JBColor(Gray._130, Gray._120);
myName.setForeground(fg);
myStatus.setForeground(grayedFg);
myStatus.setIcon(AllIcons.Nodes.Plugin);