jEdit.setBooleanProperty("saveDesktop",saveDesktop.isSelected());
jEdit.setBooleanProperty("restore",restore.isSelected());
	public void _save()	{		jEdit.setProperty("buffer.encoding",(String)			encoding.getSelectedItem());		jEdit.setProperty("autosave",autosave.getText());		jEdit.setProperty("backups",backups.getText());		jEdit.setProperty("backup.directory",backupDirectory.getText());		jEdit.setProperty("backup.prefix",backupPrefix.getText());		jEdit.setProperty("backup.suffix",backupSuffix.getText());		String lineSep = null;		switch(lineSeparator.getSelectedIndex())		{		case 0:			lineSep = "\n";			break;		case 1:			lineSep = "\r\n";			break;		case 2:			lineSep = "\r";			break;		}		jEdit.setProperty("buffer.lineSeparator",lineSep);		jEdit.setProperty("ioThreadCount",ioThreadCount.getText());		jEdit.setBooleanProperty("saveDesktop",saveDesktop.isSelected());	}