FileDocCategorySizeDatePackage
ExitFrame.javaAPI DocExample1150Mon Nov 09 12:45:54 GMT 1998None

ExitFrame

public class ExitFrame extends JFrame

Fields Summary
public static final int
EXIT_ON_CLOSE
protected int
closeOp
Constructors Summary
public ExitFrame()


    
    super();
    setDefaultCloseOperation(EXIT_ON_CLOSE);
  
public ExitFrame(String title)

    super(title);
    setDefaultCloseOperation(EXIT_ON_CLOSE);
  
Methods Summary
protected voidprocessWindowEvent(java.awt.event.WindowEvent e)

    if (e.getID() == WindowEvent.WINDOW_CLOSING) {
      if (closeOp == EXIT_ON_CLOSE)
        System.exit(0);
    }
    super.processWindowEvent(e);
  
public voidsetDefaultCloseOperation(int operation)

    super.setDefaultCloseOperation(operation);
    closeOp = operation;