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