lib/browser/awtUtilities/MessageDialog.java
author paulson
Tue, 10 Feb 2004 12:02:11 +0100
changeset 14378 69c4d5997669
parent 6541 d3ac35b2bfbf
child 33686 8e33ca8832b1
permissions -rw-r--r--
generic of_nat and of_int functions, and generalization of iszero and neg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3599
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     1
/***************************************************************************
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     2
  Title:      awtUtilities/MessageDialog.java
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     3
  ID:         $Id$
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     4
  Author:     Stefan Berghofer, TU Muenchen
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     5
  Copyright   1997  TU Muenchen
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     6
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     7
  This class defines a dialog window for displaying messages and buttons.
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     8
***************************************************************************/
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     9
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    10
package awtUtilities;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    11
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    12
import java.awt.*;
6541
d3ac35b2bfbf Updated to JDK 1.1.x
berghofe
parents: 3599
diff changeset
    13
import java.awt.event.*;
3599
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    14
6541
d3ac35b2bfbf Updated to JDK 1.1.x
berghofe
parents: 3599
diff changeset
    15
public class MessageDialog extends Dialog implements ActionListener {
3599
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    16
	String txt;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    17
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    18
	public String getText() { return txt; }
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    19
6541
d3ac35b2bfbf Updated to JDK 1.1.x
berghofe
parents: 3599
diff changeset
    20
	public void actionPerformed(ActionEvent evt) {
d3ac35b2bfbf Updated to JDK 1.1.x
berghofe
parents: 3599
diff changeset
    21
		txt = evt.getActionCommand();
d3ac35b2bfbf Updated to JDK 1.1.x
berghofe
parents: 3599
diff changeset
    22
		setVisible(false);
3599
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    23
	}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    24
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    25
	public MessageDialog(Frame parent,String title,String text,String []buttons) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    26
		super(parent,title,true);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    27
		int i;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    28
		Panel p1=new Panel(),p2=new Panel();
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    29
		p1.setLayout(new FlowLayout(FlowLayout.CENTER,0,0));
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    30
		p2.setLayout(new FlowLayout());
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    31
		setFont(new Font("Helvetica", Font.PLAIN, 14));
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    32
		setLayout(new GridLayout(2,1));
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    33
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    34
		while (true) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    35
			int pos=text.indexOf(' ');
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    36
			if (pos<0) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    37
				p1.add(new Label(text));
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    38
				break;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    39
			} else {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    40
				p1.add(new Label(text.substring(0,pos)));
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    41
				if (pos+1==text.length())
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    42
					break;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    43
				else
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    44
					text=text.substring(pos+1);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    45
			}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    46
		}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    47
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    48
		add(p1);add(p2);
6541
d3ac35b2bfbf Updated to JDK 1.1.x
berghofe
parents: 3599
diff changeset
    49
		for (i=0;i<buttons.length;i++) {
d3ac35b2bfbf Updated to JDK 1.1.x
berghofe
parents: 3599
diff changeset
    50
			Button bt = new Button(buttons[i]);
d3ac35b2bfbf Updated to JDK 1.1.x
berghofe
parents: 3599
diff changeset
    51
			p2.add(bt);
d3ac35b2bfbf Updated to JDK 1.1.x
berghofe
parents: 3599
diff changeset
    52
			bt.addActionListener(this);
d3ac35b2bfbf Updated to JDK 1.1.x
berghofe
parents: 3599
diff changeset
    53
		}
3599
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    54
	}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    55
}