TermListWindow.java

00001 /* 
00002 ** Author(s): Miguel Calejo
00003 ** Contact:   interprolog@declarativa.com, http://www.declarativa.com
00004 ** Copyright (C) Declarativa, Portugal, 2000-2002
00005 ** Use and distribution, without any warranties, under the terms of the 
00006 ** GNU Library General Public License, readable in http://www.fsf.org/copyleft/lgpl.html
00007 */
00008 package com.declarativa.interprolog.gui;
00009 import javax.swing.*;
00010 import javax.swing.table.*;
00011 import javax.swing.event.*;
00012 import java.awt.event.*;
00013 
00016 public class TermListWindow extends JFrame{
00017         public TermListWindow(TermListModel ptm){
00018                 super();
00019                 setTitle("List of "+ ptm.getSize()+" terms");
00020                 final JList list = new JList(ptm);
00021                 JScrollPane scrollPane = new JScrollPane(list);
00022                 getContentPane().add("Center",scrollPane);
00023                 final TermListModel theModel=ptm;
00024         list.addMouseListener(new MouseAdapter() {
00025                 public void mouseClicked(MouseEvent e) {
00026                         if (e.getClickCount() == 2) {
00027                         int index = list.locationToIndex(e.getPoint());
00028                         if (index != -1) new TermModelWindow(theModel.terms[index]);
00029                         }
00030                 };
00031         });
00032                 setVisible(true);
00033                 // System.out.println("Created window for TermListWindow "+ptm);
00034         }
00035 }

Generated on Wed Jul 26 13:30:44 2006 for XSB by  doxygen 1.4.5