_font = gutterFont.getFont(); jEdit.setProperty("view.gutter.font",_font.getFamily()); jEdit.setProperty("view.gutter.fontsize",String.valueOf(_font.getSize())); jEdit.setProperty("view.gutter.fontstyle",String.valueOf(_font.getStyle()));  jEdit.setProperty("view.gutter.width", gutterWidth.getText()); jEdit.setProperty("view.gutter.borderWidth", gutterBorderWidth.getText()); jEdit.setProperty("view.gutter.highlightInterval", gutterHighlightInterval.getText()); String alignment = null; switch(gutterNumberAlignment.getSelectedIndex()) { case 2: alignment = "right"; break; case 1: alignment = "center"; break; case 0: default: alignment = "left"; } jEdit.setProperty("view.gutter.numberAlignment", alignment); jEdit.setBooleanProperty("view.gutter.collapsed", !gutterExpanded.isSelected()); jEdit.setBooleanProperty("view.gutter.lineNumbers", lineNumbersEnabled .isSelected()); jEdit.setBooleanProperty("view.gutter.highlightCurrentLine", gutterCurrentLineHighlightEnabled.isSelected());
	public void _save()	{		Font _font = font.getFont();		jEdit.setProperty("view.font",_font.getFamily());		jEdit.setProperty("view.fontsize",String.valueOf(_font.getSize()));		jEdit.setProperty("view.fontstyle",String.valueOf(_font.getStyle()));		jEdit.setBooleanProperty("view.lineHighlight",lineHighlight			.isSelected());		jEdit.setBooleanProperty("view.bracketHighlight",bracketHighlight			.isSelected());		jEdit.setBooleanProperty("view.eolMarkers",eolMarkers			.isSelected());		jEdit.setBooleanProperty("view.wrapGuide",wrapGuide			.isSelected());		jEdit.setBooleanProperty("view.caretBlink",blinkCaret.isSelected());		jEdit.setBooleanProperty("view.blockCaret",blockCaret.isSelected());		jEdit.setProperty("view.electricBorders",electricBorders			.isSelected() ? "3" : "0");		jEdit.setBooleanProperty("view.homeEnd",homeEnd.isSelected());		_font = gutterFont.getFont();		jEdit.setProperty("view.gutter.font",_font.getFamily());		jEdit.setProperty("view.gutter.fontsize",String.valueOf(_font.getSize()));		jEdit.setProperty("view.gutter.fontstyle",String.valueOf(_font.getStyle()));		jEdit.setProperty("view.gutter.width", gutterWidth.getText());		jEdit.setProperty("view.gutter.borderWidth",			gutterBorderWidth.getText());		jEdit.setProperty("view.gutter.highlightInterval",			gutterHighlightInterval.getText());		String alignment = null;		switch(gutterNumberAlignment.getSelectedIndex())		{		case 2:			alignment = "right";			break;		case 1:			alignment = "center";			break;		case 0: default:			alignment = "left";		}		jEdit.setProperty("view.gutter.numberAlignment", alignment);		jEdit.setBooleanProperty("view.gutter.collapsed",			!gutterExpanded.isSelected());		jEdit.setBooleanProperty("view.gutter.lineNumbers", lineNumbersEnabled			.isSelected());		jEdit.setBooleanProperty("view.gutter.highlightCurrentLine",			gutterCurrentLineHighlightEnabled.isSelected());	}