jEdit.setBooleanProperty("globalColors",globalColors.isSelected());
	protected void _save()	{		String lf = lfs[lookAndFeel.getSelectedIndex()].getClassName();		jEdit.setProperty("lookAndFeel",lf);		jEdit.setProperty("history",history.getText());		jEdit.setBooleanProperty("saveCaret",saveCaret.isSelected());		jEdit.setBooleanProperty("sortBuffers",sortBuffers.isSelected());		jEdit.setBooleanProperty("sortByName",sortByName.isSelected());		jEdit.setBooleanProperty("view.checkModStatus",checkModStatus			.isSelected());		jEdit.setBooleanProperty("view.showFullPath",showFullPath			.isSelected());		jEdit.setBooleanProperty("view.showSearchbar",showSearchbar			.isSelected());		jEdit.setBooleanProperty("view.showBufferSwitcher",			showBufferSwitcher.isSelected());		jEdit.setBooleanProperty("tip.show",showTips.isSelected());		// this is handled a little differently from other jEdit settings		// as the splash screen flag needs to be known very early in the		// startup sequence, before the user properties have been loaded		String settingsDirectory = jEdit.getSettingsDirectory();		if(settingsDirectory != null)		{			File file = new File(settingsDirectory,"nosplash");			if(showSplash.isSelected())				file.delete();			else			{				try				{					FileOutputStream out = new FileOutputStream(file);					out.write('\n');					out.close();				}				catch(IOException io)				{					Log.log(Log.ERROR,this,io);				}			}		}	}