String retVal = (String)JOptionPane.showInputDialog(view,
String retVal = (String)JOptionPane.showInputDialog(frame,
	public static String inputProperty(View view, String name, String def)	{		String retVal = (String)JOptionPane.showInputDialog(view,			jEdit.getProperty(name.concat(".message")),			jEdit.getProperty(name.concat(".title")),			JOptionPane.QUESTION_MESSAGE,			null,null,jEdit.getProperty(def));		if(retVal != null)			jEdit.setProperty(def,retVal);		return retVal;	}