diff -r 28b6670e415a -r 89cbba12863d lib/browser/awtUtilities/TextFrame.java --- /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")); + } +}