public static String input(JFrame frame, String name, String history, String def)
public static String input(JFrame frame, String name, Object def)
	public static String input(JFrame frame, String name, String history,		String def)	{		HistoryTextField textField = new HistoryTextField(history);		textField.setSelectedItem(def);		Object[] message = { jEdit.getProperty(name.concat(".message")),			textField };		textField.requestDefaultFocus();		int retVal = JOptionPane.showConfirmDialog(frame,message,			jEdit.getProperty(name.concat(".title")),			JOptionPane.OK_CANCEL_OPTION);		if(retVal == JOptionPane.OK_OPTION)		{			textField.save();			return (String)textField.getSelectedItem();		}		else			return null;	}