buffer.putBooleanProperty("syntax",syntax.getModel() .isSelected()); buffer.putBooleanProperty("indentOnTab",indentOnTab.getModel() .isSelected()); buffer.putBooleanProperty("indentOnEnter",indentOnEnter.getModel() .isSelected()); buffer.putBooleanProperty("noTabs",noTabs.getModel().isSelected());
buffer.putBooleanProperty("syntax",syntax.isSelected()); buffer.putBooleanProperty("indentOnTab",indentOnTab.isSelected()); buffer.putBooleanProperty("indentOnEnter",indentOnEnter.isSelected()); buffer.putBooleanProperty("noTabs",noTabs.isSelected());
	public void ok()	{		try		{			buffer.putProperty("tabSize",new Integer(				tabSize.getSelectedItem().toString()));		}		catch(NumberFormatException nf)		{		}		int index = mode.getSelectedIndex();		buffer.setMode(modes[index]);		index = lineSeparator.getSelectedIndex();		String lineSep;		if(index == 0)			lineSep = "\n";		else if(index == 1)			lineSep = "\r\n";		else if(index == 2)			lineSep = "\r";		else			throw new InternalError();		buffer.putProperty("lineSeparator",lineSep);		buffer.putBooleanProperty("syntax",syntax.getModel()			.isSelected());		buffer.putBooleanProperty("indentOnTab",indentOnTab.getModel()			.isSelected());		buffer.putBooleanProperty("indentOnEnter",indentOnEnter.getModel()			.isSelected());		buffer.putBooleanProperty("noTabs",noTabs.getModel().isSelected());		buffer.propertiesChanged();		dispose();		// Update text area		view.getTextArea().getPainter().repaint();	}