if(source == cancel)
if(source == ok) ok(); else if(source == cancel)
	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.setProperty("lf",lf);			jEdit.setProperty("daemon.server.toggle",server.getModel()				.isSelected() ? "on" : "off");			jEdit.setProperty("buffermgr.recent",maxrecent.getText());			jEdit.setProperty("daemon.autosave.interval",autosave.getText());			jEdit.setProperty("buffer.backup.count",backups.getText());			String newline;			if(newlineWindows.getModel().isSelected())				newline = CRLF;			else if(newlineMac.getModel().isSelected())				newline = CR;			else				newline = LF;			jEdit.setProperty("buffer.line.separator",newline);			jEdit.setProperty("view.font",(String)font.getSelectedItem());			jEdit.setProperty("view.fontsize",(String)fontSize.getSelectedItem());			jEdit.setProperty("buffer.tabSize",tabSize.getText());			jEdit.setProperty("view.autoindent",autoindent				.getModel().isSelected() ? "on" : "off");			jEdit.setProperty("buffer.syntax",syntax.getModel()				.isSelected() ? "on" : "off");			jEdit.setProperty("buffer.margin.top",top.getText());			jEdit.setProperty("buffer.margin.left",left.getText());			jEdit.setProperty("buffer.margin.bottom",bottom.getText());			jEdit.setProperty("buffer.margin.right",right.getText());			jEdit.propertiesChanged();			Enumeration enum = jEdit.getViews();			while(enum.hasMoreElements())				((View)enum.nextElement()).propertiesChanged();			enum = jEdit.getBuffers();			while(enum.hasMoreElements())				((Buffer)enum.nextElement())					.propertiesChanged();			dispose();		}	}