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-114190 Navigation bar font too small

Browse Source
This commit is contained in:
Konstantin Bulenkov
2013-09-30 17:31:44 +02:00
parent 3973423f1d
commit a28701ac05
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/navigationToolbar/ui/AbstractNavBarUI.java
+2 -1
View File
@@ -19,6 +19,7 @@ import com.intellij.ide.navigationToolbar.NavBarItem;
import com.intellij.ide.navigationToolbar.NavBarPanel;
import com.intellij.ide.navigationToolbar.NavBarRootPaneExtension;
import com.intellij.ide.ui.UISettings;
import com.intellij.openapi.util.SystemInfo;
import com.intellij.ui.ColorUtil;
import com.intellij.ui.Gray;
import com.intellij.util.containers.HashMap;
@@ -58,7 +59,7 @@ public abstract class AbstractNavBarUI implements NavBarUI {
@Override
public Font getElementFont(NavBarItem navBarItem) {
return UIUtil.getLabelFont(UIUtil.FontSize.SMALL);
return SystemInfo.isMac ? UIUtil.getLabelFont(UIUtil.FontSize.SMALL) : UIUtil.getLabelFont();
}
@Override