history = new DefaultComboBoxModel();
	public HistoryTextField(String name)	{		history = new DefaultComboBoxModel();		this.name = name;		String line;		int i = 0;		while((line = jEdit.getProperty("history." + name + "." + i)) != null)		{			history.addElement(line);			i++;		}		setModel(history);		setEditable(true);		setMaximumRowCount(10);		setSelectedItem(null);	}