package edu.njust.cs;
import java.awt.Color;
import java.awt.Font;
import javax.swing.UIManager;
public final class SetFont{
	public static void setFont(Font font){
		javax.swing.plaf.FontUIResource fontRes = new javax.swing.plaf.FontUIResource(font);		
        java.util.Enumeration keys = UIManager.getDefaults().keys();
        while (keys.hasMoreElements()){
            Object key = keys.nextElement();
            Object value = UIManager.get (key);
            if (value instanceof javax.swing.plaf.FontUIResource)
                UIManager.put (key, fontRes);
        }
    }    
}