super (col);
completer = new Completer();
completionListModel = new DefaultListModel();
completionList = new JList(completionListModel);
completionList.setSelectionMode (ListSelectionModel.SINGLE_SELECTION);
completionList.addListSelectionListener (this);
listScroller =
new JScrollPane (completionList,
ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED,
ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);
listWindow = new JWindow();
listWindow.getContentPane().add (listScroller);