lib/browser/awtUtilities/TextFrame.java
changeset 3599 89cbba12863d
child 6541 d3ac35b2bfbf
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/browser/awtUtilities/TextFrame.java	Wed Aug 06 00:06:47 1997 +0200
@@ -0,0 +1,28 @@
+/***************************************************************************
+  Title:      Graph/TextFrame.java
+  ID:         $Id$
+  Author:     Stefan Berghofer, TU Muenchen
+  Copyright   1997  TU Muenchen
+
+  This class defines a simple text viewer.
+***************************************************************************/
+
+package awtUtilities;
+
+import java.awt.*;
+
+public class TextFrame extends Frame {
+	public boolean action(Event evt,Object obj) {
+		if (evt.target instanceof Button)
+			hide();
+		return true;
+	}
+
+	public TextFrame(String title,String text) {
+		super(title);
+		TextArea ta=new TextArea(text,200,80);
+		ta.setEditable(false);
+		add("Center",ta);
+		add("South",new Button("Dismiss"));
+	}
+}