.getModel().isSelected() ? "on" : "off"); jEdit.props.put("buffer.syntax",syntax
	public void actionPerformed(ActionEvent evt)	{		Object source = evt.getSource();		if(source == cancel)			dispose();		else if(source == ok)		{			String lf;			if(motif.getModel().isSelected())				lf = MOTIF;			else if(windows.getModel().isSelected())				lf = WINDOWS;			else				lf = METAL;			jEdit.props.put("lf",lf);			jEdit.props.put("daemon.server.toggle",server				.getModel().isSelected() ? "on" : "off");			jEdit.props.put("buffermgr.recent.count",maxrecent				.getText());			jEdit.props.put("daemon.autosave.interval",autosave				.getText());			jEdit.props.put("buffer.backup.count",backups				.getText());			String newline;			if(newlineWindows.getModel().isSelected())				newline = CRLF;			else if(newlineMac.getModel().isSelected())				newline = CR;			else				newline = LF;			jEdit.props.put("buffer.line.separator",newline);			jEdit.props.put("view.font",font.getSelectedItem());			jEdit.props.put("view.fontsize",fontSize				.getSelectedItem());			String wrap;			if(charWrap.getModel().isSelected())				wrap = "char";			else if(wordWrap.getModel().isSelected())				wrap = "word";			else				wrap = "off";			jEdit.props.put("view.linewrap",wrap);			jEdit.props.put("buffer.tabsize",tabSize.getText());			jEdit.props.put("view.autoindent",autoindent				.getModel().isSelected() ? "on" : "off");			jEdit.props.put("buffer.margin.top",top.getText());			jEdit.props.put("buffer.margin.left",left.getText());			jEdit.props.put("buffer.margin.bottom",bottom				.getText());			jEdit.props.put("buffer.margin.right",right.getText());			jEdit.propertiesChanged();			Enumeration enum = jEdit.buffers.getViews();			while(enum.hasMoreElements())				((View)enum.nextElement()).propertiesChanged();			enum = jEdit.buffers.getBuffers();			while(enum.hasMoreElements())				((Buffer)enum.nextElement())					.propertiesChanged();			dispose();		}	}