+ ":indentOnTab=" + indentOnTab.getModel().isSelected() + ":indentOnEnter=" + indentOnEnter.getModel().isSelected() + ":syntax=" + syntax.getModel().isSelected()
+ ":indentOnTab=" + indentOnTab.isSelected() + ":indentOnEnter=" + indentOnEnter.isSelected() + ":syntax=" + syntax.isSelected()
	private void updatePropsField()	{		props.setText(":tabSize=" + tabSize.getSelectedItem()			+ ":noTabs=" + noTabs.getModel().isSelected()			+ ":mode=" + modes[mode.getSelectedIndex()].getName()			+ ":indentOnTab=" + indentOnTab.getModel().isSelected()			+ ":indentOnEnter=" + indentOnEnter.getModel().isSelected()			+ ":syntax=" + syntax.getModel().isSelected()			+ ":");	}