diff --git a/platform/util/src/com/intellij/util/ui/UIUtil.java b/platform/util/src/com/intellij/util/ui/UIUtil.java index ee56a623e483..59272d4d93c0 100644 --- a/platform/util/src/com/intellij/util/ui/UIUtil.java +++ b/platform/util/src/com/intellij/util/ui/UIUtil.java @@ -2911,6 +2911,8 @@ public class UIUtil { private static Map ourRealFontFamilies = null; + //Experimental, seems to be reliable under MacOS X only + public static String getRealFontFamily(String genericFontFamily) { if (ourRealFontFamilies != null && ourRealFontFamilies.get(genericFontFamily) != null) { return ourRealFontFamilies.get(genericFontFamily);