jEdit.setProperty("view.gutter.highlightCurrentLine", currentLineHighlightEnabled.getModel().isSelected() ? "yes" : "no");
	public void save()	{		jEdit.setProperty("view.gutter.collapsed",			gutterExpanded.getModel().isSelected() ? "no" : "yes");		jEdit.setProperty("view.gutter.lineNumbers", lineNumbersEnabled			.getModel().isSelected() ? "yes" : "no");		jEdit.setProperty("view.gutter.width", gutterWidth.getText());		jEdit.setProperty("view.gutter.borderWidth",			gutterBorderWidth.getText());		jEdit.setProperty("view.gutter.highlightInterval",			highlightInterval.getText());		String alignment = null;		switch(numberAlignment.getSelectedIndex())		{		case 2:			alignment = "right";			break;		case 1:			alignment = "center";			break;		case 0: default:			alignment = "left";		}		jEdit.setProperty("view.gutter.numberAlignment", alignment);		jEdit.setProperty("view.gutter.font",			font.getSelectedItem().toString());		jEdit.setProperty("view.gutter.fontsize",			size.getSelectedItem().toString());		jEdit.setProperty("view.gutter.fontstyle",			Integer.toString(style.getSelectedIndex()));	}