/*
Research Project:   Graphical Database for Category Theory
                    J. Bradbury, Dr. R. Rosebrugh, I. Rutherford
                    Mount Allison University 2001
File:               FontPropDialog.java
                    (author: Larry Barowski, Auburn University, 4/10/97)
Description:	      A dialog class that allows the user to specify font
                    properites.
*/
  //Import statements
   import java.awt.Dialog;
   import java.awt.TextField;
   import java.awt.Button;
   import java.awt.Label;
   import java.awt.Frame;
   import java.awt.Event;
   import java.awt.Font;
   import java.lang.System;

   public class FontPropDialog extends Dialog
   {
      private GraphCanvas graphCanvas_;
      private Frame frame_;
   
      private TextField name_, size_;

      private MainWindow edit;//matt
   
      public FontPropDialog(Frame frame, GraphCanvas graph_canvas)
      {
         super(frame, "Font", true);
         setLocation(200,300);//mkgrvs
         setModal(true);//mkgrvs
         graphCanvas_ = graph_canvas;
         frame_ = frame;
         LPanel p = new LPanel();
      
         p.addLabel("Font Name", 1, 1, 0.0, 1.0, 0, 2);      
         name_ = p.addTextField(15, 0, -1, 1.0, 1.0, 1, 1);
         p.addLabel("Font Size", 1, 1, 0.0, 1.0, 0, 2);      
         size_ = p.addTextField(15, 0, -1, 1.0, 1.0, 1, 1);
         p.addButtonPanel("Apply Cancel", 0);      
      
         p.finish();
         add("Center", p);
         showMe();
      }

      public void showMe()
      {
         pack();
      
         Font font = graphCanvas_.getFont();
         name_.setText(font.getName());
         size_.setText(String.valueOf(font.getSize()));
      
         show();
      }
   
   
   
      public boolean action(Event event, Object object)
      {
         if(event.target instanceof Button)
         {
            if("Apply".equals(object))
            {
               boolean ok = true;
               try
               {
                  Font font;
                  font = new Font(name_.getText(), Font.PLAIN,
                                  Integer.valueOf(size_.getText()).intValue());
                  graphCanvas_.setFont(font);
               }
                  catch (NumberFormatException e)
                  {
                     new MessageDialog(frame_, "Error",
                                       "Bad format for font size.", true);
                     ok = false;
                  }
            
               if(ok)
                  hide();
            }
            else if("Cancel".equals(object))
            {
               //edit.enableMenus(true);
               hide();
            }
         }
      
         return false;
      }
   
      public boolean handleEvent(Event event) {
	 // Avoid having everything destroyed.
         if (event.id == Event.WINDOW_DESTROY)
         {
            edit.enableMenus(true);
            hide();
            return true;
         }
         return super.handleEvent(event);
      }


   
   }