code: package wprover;
  
  import javax.swing.*;
  import java.awt.*;
  
  /**
   * Created by IntelliJ IDEA.
   * User: ye
   * Date: 2008-1-16
   * Time: 22:05:51
   * To change this template use File | Settings | File Templates.
   */
  public class vFontDialog extends JBaseDialog {
  
      public vFontDialog(GExpert exp) {
          super(exp.getFrame(), "Font for Proof Panel");
          Frame f = exp.getFrame();
  
          JPanel panel = new JPanel();
          panel.setLayout(new GridLayout(5, 1));
  
          JPanel p1 = new JPanel(new FlowLayout(FlowLayout.LEFT));
          p1.setBorder(BorderFactory.createTitledBorder("Font for theorem"));
          JLabel label = new JLabel("Preview Label");
          label.setBackground(Color.white);
          p1.add(label);
          p1.add(Box.createHorizontalGlue());
          p1.add(new JButton("Font"));
          panel.add(p1);
          this.add(panel);
  
          this.setSize(400, 300);
      }
  }
  