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

IDEA-130552 Different font size in the inspection profile popup

Browse Source
This commit is contained in:
Sergey Malenkov
2014-10-06 19:19:53 +04:00
parent 4a94b7473a
commit 95c035dd77
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/src/com/intellij/util/ui/UIUtil.java
+2 -2
View File
@@ -1939,7 +1939,7 @@ public class UIUtil {
public static Font getTitledBorderFont() {
Font defFont = getLabelFont();
return defFont.deriveFont(Math.max(defFont.getSize() - 2f, 11f));
return defFont.deriveFont(defFont.getSize() - 1f);
}
/**
@@ -3025,7 +3025,7 @@ public class UIUtil {
}
public static Color getSidePanelColor() {
return new JBColor(new Color(0xD2D6DD), new Color(60, 68, 71));
return new JBColor(0xD2D6DD, 0x3C4447);
}
/**