// Selection (Panel)
// Modified: Carsten Schuermann
// Date: Sat Mar 25 22:02:34 2006

import java.awt.BorderLayout;
import javax.swing.JPanel;
import javax.swing.JTextField;
import javax.swing.JList;
import javax.swing.JScrollPane;
import javax.swing.ListSelectionModel;
import javax.swing.event.CaretEvent;
import javax.swing.event.CaretListener;
import javax.swing.event.ListSelectionListener;
import javax.swing.event.ListSelectionEvent;

public class SelectionPanel extends JPanel{
    private final JList jlist;
    JTextField selText;
    private final Selection selection;
    
    public SelectionPanel(final Selection selection){
	this.selection = selection;
	
	// Filter text
	selText = new JTextField( 12 );

	// Scroll pane list.
	jlist = new JList( selection );
	jlist.setSelectionMode( ListSelectionModel.SINGLE_SELECTION );
      	
      	// layout in this Panel
	this.setLayout( new BorderLayout() );
	this.add( selText,"North" );
	this.add( new JScrollPane( jlist ) ,"Center" );

    }
}