saveDesktop = new JCheckBox(jEdit.getProperty( "options.loadsave.saveDesktop")); saveDesktop.setSelected(jEdit.getBooleanProperty("saveDesktop")); addComponent(saveDesktop);
restore = new JCheckBox(jEdit.getProperty( "options.loadsave.restore")); restore.setSelected(jEdit.getBooleanProperty("restore")); addComponent(restore);
	protected void _init()	{		/* Default file encoding */		String[] encodings = {			"ASCII", "8859_1", "UTF8", "Cp850", "Cp1252",			"MacRoman", "KOI8_R", "Unicode"		};		encoding = new JComboBox(encodings);		encoding.setEditable(true);		encoding.setSelectedItem(jEdit.getProperty("buffer.encoding",			System.getProperty("file.encoding")));		addComponent(jEdit.getProperty("options.loadsave.encoding"),encoding);		/* Autosave interval */		autosave = new JTextField(jEdit.getProperty("autosave"));		addComponent(jEdit.getProperty("options.loadsave.autosave"),autosave);		/* Backup count */		backups = new JTextField(jEdit.getProperty("backups"));		addComponent(jEdit.getProperty("options.loadsave.backups"),backups);		/* Backup directory */		backupDirectory = new JTextField(jEdit.getProperty(			"backup.directory"));		addComponent(jEdit.getProperty("options.loadsave.backupDirectory"),			backupDirectory);		/* Backup filename prefix */		backupPrefix = new JTextField(jEdit.getProperty("backup.prefix"));		addComponent(jEdit.getProperty("options.loadsave.backupPrefix"),			backupPrefix);		/* Backup suffix */		backupSuffix = new JTextField(jEdit.getProperty(			"backup.suffix"));		addComponent(jEdit.getProperty("options.loadsave.backupSuffix"),			backupSuffix);		/* Line separator */		String[] lineSeps = { jEdit.getProperty("lineSep.unix"),			jEdit.getProperty("lineSep.windows"),			jEdit.getProperty("lineSep.mac") };		lineSeparator = new JComboBox(lineSeps);		String lineSep = jEdit.getProperty("buffer.lineSeparator",			System.getProperty("line.separator"));		if("\n".equals(lineSep))			lineSeparator.setSelectedIndex(0);		else if("\r\n".equals(lineSep))			lineSeparator.setSelectedIndex(1);		else if("\r".equals(lineSep))			lineSeparator.setSelectedIndex(2);		addComponent(jEdit.getProperty("options.loadsave.lineSeparator"),			lineSeparator);		/* Number of I/O threads to start */		ioThreadCount = new JTextField(jEdit.getProperty("ioThreadCount"));		addComponent(jEdit.getProperty("options.loadsave.ioThreadCount"),			ioThreadCount);		/* Session management */		saveDesktop = new JCheckBox(jEdit.getProperty(			"options.loadsave.saveDesktop"));		saveDesktop.setSelected(jEdit.getBooleanProperty("saveDesktop"));		addComponent(saveDesktop);	}