addSeparator("options.textarea.gutter");   _fontFamily = jEdit.getProperty("view.gutter.font"); try { _fontStyle = Integer.parseInt(jEdit.getProperty("view.gutter.fontstyle")); } catch(NumberFormatException nf) { _fontStyle = Font.PLAIN; } try { _fontSize = Integer.parseInt(jEdit.getProperty("view.gutter.fontsize")); } catch(NumberFormatException nf) { _fontSize = 14; } gutterFont = new FontSelector(new Font(_fontFamily,_fontStyle,_fontSize));  addComponent(jEdit.getProperty("options.textarea.gutter.font"),gutterFont);  gutterWidth = new JTextField(jEdit.getProperty( "view.gutter.width")); addComponent(jEdit.getProperty("options.textarea.gutter.width"), gutterWidth);  gutterBorderWidth = new JTextField(jEdit.getProperty( "view.gutter.borderWidth")); addComponent(jEdit.getProperty("options.textarea.gutter.borderWidth"), gutterBorderWidth);  gutterHighlightInterval = new JTextField(jEdit.getProperty( "view.gutter.highlightInterval")); addComponent(jEdit.getProperty("options.textarea.gutter.interval"), gutterHighlightInterval);  String[] alignments = new String[] { "Left", "Center", "Right" }; gutterNumberAlignment = new JComboBox(alignments); String alignment = jEdit.getProperty("view.gutter.numberAlignment"); if("right".equals(alignment)) gutterNumberAlignment.setSelectedIndex(2); else if("center".equals(alignment)) gutterNumberAlignment.setSelectedIndex(1); else gutterNumberAlignment.setSelectedIndex(0); addComponent(jEdit.getProperty("options.textarea.gutter.numberAlignment"), gutterNumberAlignment);  gutterExpanded = new JCheckBox(jEdit.getProperty( "options.textarea.gutter.expanded")); gutterExpanded.setSelected(!jEdit.getBooleanProperty( "view.gutter.collapsed")); addComponent(gutterExpanded);  lineNumbersEnabled = new JCheckBox(jEdit.getProperty( "options.textarea.gutter.lineNumbers")); lineNumbersEnabled.setSelected(jEdit.getBooleanProperty( "view.gutter.lineNumbers")); addComponent(lineNumbersEnabled);  gutterCurrentLineHighlightEnabled = new JCheckBox(jEdit.getProperty( "options.textarea.gutter.currentLineHighlight")); gutterCurrentLineHighlightEnabled.setSelected(jEdit.getBooleanProperty( "view.gutter.highlightCurrentLine")); addComponent(gutterCurrentLineHighlightEnabled);
	public void _init()	{		addSeparator("options.textarea.textarea");		/* Font */		String _fontFamily = jEdit.getProperty("view.font");		int _fontStyle;		try		{			_fontStyle = Integer.parseInt(jEdit.getProperty("view.fontstyle"));		}		catch(NumberFormatException nf)		{			_fontStyle = Font.PLAIN;		}		int _fontSize;		try		{			_fontSize = Integer.parseInt(jEdit.getProperty("view.fontsize"));		}		catch(NumberFormatException nf)		{			_fontSize = 14;		}		font = new FontSelector(new Font(_fontFamily,_fontStyle,_fontSize));		addComponent(jEdit.getProperty("options.textarea.font"),font);		/* Line highlight */		lineHighlight = new JCheckBox(jEdit.getProperty("options.textarea"			+ ".lineHighlight"));		lineHighlight.setSelected(jEdit.getBooleanProperty("view.lineHighlight"));		addComponent(lineHighlight);		/* Bracket highlight */		bracketHighlight = new JCheckBox(jEdit.getProperty("options.textarea"			+ ".bracketHighlight"));		bracketHighlight.setSelected(jEdit.getBooleanProperty(			"view.bracketHighlight"));		addComponent(bracketHighlight);		/* EOL markers */		eolMarkers = new JCheckBox(jEdit.getProperty("options.textarea"			+ ".eolMarkers"));		eolMarkers.setSelected(jEdit.getBooleanProperty("view.eolMarkers"));		addComponent(eolMarkers);		/* Wrap guide */		wrapGuide = new JCheckBox(jEdit.getProperty("options.textarea"			+ ".wrapGuide"));		wrapGuide.setSelected(jEdit.getBooleanProperty("view.wrapGuide"));		addComponent(wrapGuide);		/* Blinking caret */		blinkCaret = new JCheckBox(jEdit.getProperty("options.textarea"			+ ".blinkCaret"));		blinkCaret.setSelected(jEdit.getBooleanProperty("view.caretBlink"));		addComponent(blinkCaret);		/* Block caret */		blockCaret = new JCheckBox(jEdit.getProperty("options.textarea"			+ ".blockCaret"));		blockCaret.setSelected(jEdit.getBooleanProperty("view.blockCaret"));		addComponent(blockCaret);		/* Electric borders */		electricBorders = new JCheckBox(jEdit.getProperty("options.textarea"			+ ".electricBorders"));		electricBorders.setSelected(!"0".equals(jEdit.getProperty(			"view.electricBorders")));		addComponent(electricBorders);		/* Smart home/end */		homeEnd = new JCheckBox(jEdit.getProperty("options.textarea"			+ ".homeEnd"));		homeEnd.setSelected(jEdit.getBooleanProperty("view.homeEnd"));		addComponent(homeEnd);		addSeparator("options.textarea.gutter");		/* Font */		_fontFamily = jEdit.getProperty("view.gutter.font");		try		{			_fontStyle = Integer.parseInt(jEdit.getProperty("view.gutter.fontstyle"));		}		catch(NumberFormatException nf)		{			_fontStyle = Font.PLAIN;		}		try		{			_fontSize = Integer.parseInt(jEdit.getProperty("view.gutter.fontsize"));		}		catch(NumberFormatException nf)		{			_fontSize = 14;		}		gutterFont = new FontSelector(new Font(_fontFamily,_fontStyle,_fontSize));		addComponent(jEdit.getProperty("options.textarea.gutter.font"),gutterFont);		gutterWidth = new JTextField(jEdit.getProperty(			"view.gutter.width"));		addComponent(jEdit.getProperty("options.textarea.gutter.width"),			gutterWidth);		gutterBorderWidth = new JTextField(jEdit.getProperty(			"view.gutter.borderWidth"));		addComponent(jEdit.getProperty("options.textarea.gutter.borderWidth"),			gutterBorderWidth);		gutterHighlightInterval = new JTextField(jEdit.getProperty(			"view.gutter.highlightInterval"));		addComponent(jEdit.getProperty("options.textarea.gutter.interval"),			gutterHighlightInterval);		String[] alignments = new String[] {			"Left", "Center", "Right"		};		gutterNumberAlignment = new JComboBox(alignments);		String alignment = jEdit.getProperty("view.gutter.numberAlignment");		if("right".equals(alignment))			gutterNumberAlignment.setSelectedIndex(2);		else if("center".equals(alignment))			gutterNumberAlignment.setSelectedIndex(1);		else			gutterNumberAlignment.setSelectedIndex(0);		addComponent(jEdit.getProperty("options.textarea.gutter.numberAlignment"),			gutterNumberAlignment);		gutterExpanded = new JCheckBox(jEdit.getProperty(			"options.textarea.gutter.expanded"));		gutterExpanded.setSelected(!jEdit.getBooleanProperty(			"view.gutter.collapsed"));		addComponent(gutterExpanded);		lineNumbersEnabled = new JCheckBox(jEdit.getProperty(			"options.textarea.gutter.lineNumbers"));		lineNumbersEnabled.setSelected(jEdit.getBooleanProperty(			"view.gutter.lineNumbers"));		addComponent(lineNumbersEnabled);		gutterCurrentLineHighlightEnabled = new JCheckBox(jEdit.getProperty(			"options.textarea.gutter.currentLineHighlight"));		gutterCurrentLineHighlightEnabled.setSelected(jEdit.getBooleanProperty(			"view.gutter.highlightCurrentLine"));		addComponent(gutterCurrentLineHighlightEnabled);	}