00001
00002
00003
00004
00005
00006
00007
00008 package com.declarativa.interprolog.gui;
00009 import javax.swing.*;
00010 import javax.swing.event.*;
00011 import java.awt.*;
00012 import java.awt.event.*;
00013
00016 public class TermTreeWindow extends JFrame{
00017 public TermTreeWindow(TermTreeModel m){
00018 this(m,null);
00019 }
00020 public TermTreeWindow(TermTreeModel m, Object[] levelTitles){
00021 super();
00022 System.out.println("Creating window for "+m);
00023 getContentPane().add("Center",new TermTreePane(m,levelTitles));
00024 if (levelTitles.length>0) setTitle(levelTitles[0].toString());
00025 else setTitle(m.node.toString());
00026 setSize(400,200);
00027 setVisible(true);
00028 }
00029
00030 }
00031