private void ok()
public void ok()
	private 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.putProperty("syntax",syntax.getModel()			.isSelected() ? "on" : "off");		buffer.putProperty("indentOnTab",indentOnTab.getModel()			.isSelected() ? "on" : "off");		buffer.putProperty("indentOnEnter",indentOnEnter.getModel()			.isSelected() ? "on" : "off");		buffer.putProperty("noTabs",noTabs.getModel().isSelected()			? "yes" : "no");					buffer.propertiesChanged();		dispose();		// Update text area		view.getTextArea().getPainter().repaint();	}