package wprover;

import javax.swing.*;

/**
 * Created by IntelliJ IDEA.
 * User: ye
 * Date: 2008-5-17
 * Time: 17:10:56
 * To change this template use File | Settings | File Templates.
 */
public class FontDialog extends JPanel {

    public FontDialog(PanelProve1 pproof) {
        super();


    }
}
