equal
deleted
inserted
replaced
|
1 /*************************************************************************** |
|
2 Title: Graph/TextFrame.java |
|
3 ID: $Id$ |
|
4 Author: Stefan Berghofer, TU Muenchen |
|
5 Copyright 1997 TU Muenchen |
|
6 |
|
7 This class defines a simple text viewer. |
|
8 ***************************************************************************/ |
|
9 |
|
10 package awtUtilities; |
|
11 |
|
12 import java.awt.*; |
|
13 |
|
14 public class TextFrame extends Frame { |
|
15 public boolean action(Event evt,Object obj) { |
|
16 if (evt.target instanceof Button) |
|
17 hide(); |
|
18 return true; |
|
19 } |
|
20 |
|
21 public TextFrame(String title,String text) { |
|
22 super(title); |
|
23 TextArea ta=new TextArea(text,200,80); |
|
24 ta.setEditable(false); |
|
25 add("Center",ta); |
|
26 add("South",new Button("Dismiss")); |
|
27 } |
|
28 } |