62,620
社区成员
发帖
与我相关
我的任务
分享
Font font = ...;
// put this font in the defaults table for every ui font resource key
Hashtable defaults = UIManager.getDefaults();
Enumeration keys = defaults.keys();
while (keys.hasMoreElements()) {
Object key = keys.nextElement();
if ((key instanceof String) &&
(((String) key).endsWith(".font"))) {
defaults.put (key, font);
}
}