getEditor().getEditorComponent() .addKeyListener(new HistoryKeyListener());
	public HistoryTextField(String name)	{		this.name = name;		String line;		int i = 0;		while((line = jEdit.getProperty("history." + name + "." + i)) != null)		{			addItem(line);			i++;		}		setEditable(true);		setMaximumRowCount(10);		setSelectedItem(null);	}