globalColors = new JCheckBox(jEdit.getProperty( "options.general.globalColors")); globalColors.setSelected(jEdit.getBooleanProperty("globalColors")); addComponent(globalColors);
	protected void _init()	{		/* Look and feel */		addComponent(new JLabel(jEdit.getProperty("options.general.lf.note")));		lfs = UIManager.getInstalledLookAndFeels();		String[] names = new String[lfs.length];		String lf = UIManager.getLookAndFeel().getClass().getName();		int index = 0;		for(int i = 0; i < names.length; i++)		{			names[i] = lfs[i].getName();			if(lf.equals(lfs[i].getClassName()))				index = i;		}		lookAndFeel = new JComboBox(names);		lookAndFeel.setSelectedIndex(index);		addComponent(jEdit.getProperty("options.general.lf"),			lookAndFeel);		/* History count */		history = new JTextField(jEdit.getProperty("history"));		addComponent(jEdit.getProperty("options.general.history"),history);		/* Save caret positions */		saveCaret = new JCheckBox(jEdit.getProperty(			"options.general.saveCaret"));		saveCaret.setSelected(jEdit.getBooleanProperty("saveCaret"));		addComponent(saveCaret);		/* Sort buffers */		sortBuffers = new JCheckBox(jEdit.getProperty(			"options.general.sortBuffers"));		sortBuffers.setSelected(jEdit.getBooleanProperty("sortBuffers"));		addComponent(sortBuffers);		/* Sort buffers by names */		sortByName = new JCheckBox(jEdit.getProperty(			"options.general.sortByName"));		sortByName.setSelected(jEdit.getBooleanProperty("sortByName"));		addComponent(sortByName);		/* Check mod status on focus */		checkModStatus = new JCheckBox(jEdit.getProperty(			"options.general.checkModStatus"));		checkModStatus.setSelected(jEdit.getBooleanProperty(			"view.checkModStatus"));		addComponent(checkModStatus);		/* Show full path */		showFullPath = new JCheckBox(jEdit.getProperty(			"options.general.showFullPath"));		showFullPath.setSelected(jEdit.getBooleanProperty(			"view.showFullPath"));		addComponent(showFullPath);		/* Show search bar */		showSearchbar = new JCheckBox(jEdit.getProperty(			"options.general.showSearchbar"));		showSearchbar.setSelected(jEdit.getBooleanProperty(			"view.showSearchbar"));		addComponent(showSearchbar);		/* Show buffer switcher */		showBufferSwitcher = new JCheckBox(jEdit.getProperty(			"options.general.showBufferSwitcher"));		showBufferSwitcher.setSelected(jEdit.getBooleanProperty(			"view.showBufferSwitcher"));		addComponent(showBufferSwitcher);		/* Show tip of the day */		showTips = new JCheckBox(jEdit.getProperty(			"options.general.showTips"));		showTips.setSelected(jEdit.getBooleanProperty("tip.show"));		addComponent(showTips);		/* Show splash screen */		showSplash = new JCheckBox(jEdit.getProperty(			"options.general.showSplash"));		String settingsDirectory = jEdit.getSettingsDirectory();		if(settingsDirectory == null)			showSplash.setSelected(true);		else			showSplash.setSelected(!new File(settingsDirectory,"nosplash").exists());		addComponent(showSplash);	}