jEdit.setProperty("history." + name + ".0",getText()); for(int i = 0; i < history.length - 1; i++)
addCurrentToHistory(); for(int i = 0; i < history.length; i++)
	public void save()	{		jEdit.setProperty("history." + name + ".0",getText());		for(int i = 0; i < history.length - 1; i++)		{			String line = history[i];			if(line == null)				break;			jEdit.setProperty("history." + name + "." + (i + 1),line);		}	}