panel.add(Box.createGlue());
	public CompleteWord(View view, String word, Vector completions)	{		super(view,jEdit.getProperty("complete-word.title"),true);		this.view = view;		this.word = word;		Container content = getContentPane();		words = new JList(completions);		words.setVisibleRowCount(Math.min(completions.size(),16));		words.setFont(view.getTextArea().getPainter().getFont());		words.addMouseListener(this);		words.setSelectedIndex(0);		words.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);		insert = new JButton(jEdit.getProperty("complete-word.insert"));		cancel = new JButton(jEdit.getProperty("common.cancel"));		content.setLayout(new BorderLayout());		String[] args = { word };		content.add(new JLabel(jEdit.getProperty("complete-word.caption",args)),			BorderLayout.NORTH);		JScrollPane scroller = new JScrollPane(words);		Dimension dim = scroller.getPreferredSize();		content.add(scroller, BorderLayout.CENTER);		JPanel panel = new JPanel();		panel.add(insert);		panel.add(cancel);		content.add(panel, BorderLayout.SOUTH);		getRootPane().setDefaultButton(insert);		insert.addActionListener(this);		cancel.addActionListener(this);		GUIUtilities.requestFocus(this,words);		pack();		setLocationRelativeTo(view);		show();	}