jEdit.setProperty("view.fontstyle",(String)style.getSelectedItem());
	public void save()	{		jEdit.setProperty("view.font",(String)font.getSelectedItem());		jEdit.setProperty("view.fontsize",(String)size.getSelectedItem());		jEdit.setProperty("view.geometry.w",viewWidth.getText());		jEdit.setProperty("view.geometry.h",viewHeight.getText());		jEdit.setProperty("buffer.tabSize",tabSize.getText());		jEdit.setProperty("view.lineHighlight",lineHighlight.getModel()			.isSelected() ? "on" : "off");		jEdit.setProperty("view.bracketHighlight",bracketHighlight.getModel()			.isSelected() ? "on" : "off");		jEdit.setProperty("buffer.syntax",syntax.getModel().isSelected()			? "on" : "off");		jEdit.setProperty("view.autoindent",autoIndent.getModel()			.isSelected() ? "on" : "off");		jEdit.setProperty("view.caretBlinkRate",blinkCaret.getModel()			.isSelected() ? "500" : "0");	}