mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Short method documentation
This commit is contained in:
@@ -2911,6 +2911,8 @@ public class UIUtil {
|
||||
|
||||
private static Map<String, String> 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);
|
||||
|
||||
Reference in New Issue
Block a user