currentLineHighlightEnabled.getModel().setSelected( jEdit.getBooleanProperty("view.gutter.highlightCurrentLine"));
currentLineHighlightEnabled.setSelected(jEdit.getBooleanProperty( "view.gutter.highlightCurrentLine"));
	protected void _init()	{		gutterExpanded = new JCheckBox(jEdit.getProperty(			"options.gutter.expanded"));		gutterExpanded.getModel().setSelected(			!jEdit.getBooleanProperty("view.gutter.collapsed"));		addComponent(gutterExpanded);		lineNumbersEnabled = new JCheckBox(jEdit.getProperty(			"options.gutter.lineNumbers"));		lineNumbersEnabled.getModel().setSelected(			jEdit.getBooleanProperty("view.gutter.lineNumbers"));		addComponent(lineNumbersEnabled);		currentLineHighlightEnabled = new JCheckBox(jEdit.getProperty(			"options.gutter.currentLineHighlight"));		currentLineHighlightEnabled.getModel().setSelected(			jEdit.getBooleanProperty("view.gutter.highlightCurrentLine"));		addComponent(currentLineHighlightEnabled);		gutterWidth = new JTextField(jEdit.getProperty(			"view.gutter.width"));		addComponent(jEdit.getProperty("options.gutter.width"),			gutterWidth);		gutterBorderWidth = new JTextField(jEdit.getProperty(			"view.gutter.borderWidth"));		addComponent(jEdit.getProperty("options.gutter.borderWidth"),			gutterBorderWidth);		highlightInterval = new JTextField(jEdit.getProperty(			"view.gutter.highlightInterval"));		addComponent(jEdit.getProperty("options.gutter.interval"),			highlightInterval);		String[] alignments = new String[] {			"Left", "Center", "Right"		};		numberAlignment = new JComboBox(alignments);		String alignment = jEdit.getProperty("view.gutter.numberAlignment");		if("right".equals(alignment))			numberAlignment.setSelectedIndex(2);		else if("center".equals(alignment))			numberAlignment.setSelectedIndex(1);		else			numberAlignment.setSelectedIndex(0);		addComponent(jEdit.getProperty("options.gutter.numberAlignment"), numberAlignment);		font = new FontComboBox();		font.setSelectedItem(jEdit.getProperty("view.gutter.font"));		addComponent(jEdit.getProperty("options.gutter.font"),font);		String[] styles = { jEdit.getProperty("options.editor.plain"),			jEdit.getProperty("options.editor.bold"),			jEdit.getProperty("options.editor.italic"),			jEdit.getProperty("options.editor.boldItalic") };		style = new JComboBox(styles);		try		{			style.setSelectedIndex(Integer.parseInt(jEdit				.getProperty("view.gutter.fontstyle")));		}		catch(NumberFormatException nf)		{		}		addComponent(jEdit.getProperty("options.gutter.fontstyle"),			style);		String[] sizes = { "9", "10", "12", "14", "18", "24" };		size = new JComboBox(sizes);		size.setEditable(true);		size.setSelectedItem(jEdit.getProperty("view.gutter.fontsize"));		addComponent(jEdit.getProperty("options.gutter.fontsize"),size);	}