00001
00002
00003
00004
00005
00006
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
00034 }
00035 }