gutter.setCurrentLineForeground(GUIUtilities.parseColor( jEdit.getProperty("view.gutter.currentLineColor")));
	private void initTextArea(JEditTextArea textArea)	{		TextAreaPainter painter = textArea.getPainter();		String family = jEdit.getProperty("view.font");		int size;		try		{			size = Integer.parseInt(jEdit.getProperty(				"view.fontsize"));		}		catch(NumberFormatException nf)		{			size = 14;		}		int style;		try		{			style = Integer.parseInt(jEdit.getProperty(				"view.fontstyle"));		}		catch(NumberFormatException nf)		{			style = Font.PLAIN;		}		Font font = new Font(family,style,size);		painter.setFont(font);		painter.setBracketHighlightEnabled("on".equals(jEdit.getProperty(			"view.bracketHighlight")));		painter.setBracketHighlightColor(GUIUtilities.parseColor(			jEdit.getProperty("view.bracketHighlightColor")));		painter.setEOLMarkersPainted("on".equals(jEdit.getProperty(			"view.eolMarkers")));		painter.setInvalidLinesPainted("on".equals(jEdit.getProperty(			"view.paintInvalid")));		painter.setEOLMarkerColor(GUIUtilities.parseColor(			jEdit.getProperty("view.eolMarkerColor")));		painter.setCaretColor(GUIUtilities.parseColor(			jEdit.getProperty("view.caretColor")));		painter.setSelectionColor(GUIUtilities.parseColor(			jEdit.getProperty("view.selectionColor")));		painter.setBackground(GUIUtilities.parseColor(			jEdit.getProperty("view.bgColor")));		painter.setForeground(GUIUtilities.parseColor(			jEdit.getProperty("view.fgColor")));		painter.setBlockCaretEnabled("on".equals(jEdit.getProperty(			"view.blockCaret")));		painter.setLineHighlightEnabled("on".equals(jEdit.getProperty(			"view.lineHighlight")));		painter.setLineHighlightColor(GUIUtilities.parseColor(			jEdit.getProperty("view.lineHighlightColor")));		Gutter gutter = textArea.getGutter();		try		{			int width = Integer.parseInt(jEdit.getProperty(				"view.gutter.width"));			gutter.setGutterWidth(width);		}		catch(NumberFormatException nf)		{			// retain the default gutter width		}		gutter.setCollapsed("yes".equals(jEdit.getProperty(			"view.gutter.collapsed")));		gutter.setLineNumberingEnabled(!"no".equals(jEdit.getProperty(			"view.gutter.lineNumbers")));		try		{			int interval = Integer.parseInt(jEdit.getProperty(				"view.gutter.highlightInterval"));			gutter.setHighlightInterval(interval);		}		catch(NumberFormatException nf)		{			// retain the default highlight interval		}		gutter.setBackground(GUIUtilities.parseColor(			jEdit.getProperty("view.gutter.bgColor")));		gutter.setForeground(GUIUtilities.parseColor(			jEdit.getProperty("view.gutter.fgColor")));		gutter.setHighlightedForeground(GUIUtilities.parseColor(			jEdit.getProperty("view.gutter.highlightColor")));		String alignment = jEdit.getProperty(			"view.gutter.numberAlignment");		if ("right".equals(alignment))		{			gutter.setLineNumberAlignment(Gutter.RIGHT);		}		else if ("center".equals(alignment))		{			gutter.setLineNumberAlignment(Gutter.CENTER);		}		else // left == default case		{			gutter.setLineNumberAlignment(Gutter.LEFT);		}		try		{			int width = Integer.parseInt(jEdit.getProperty(				"view.gutter.borderWidth"));			gutter.setBorder(width, GUIUtilities.parseColor(				jEdit.getProperty("view.gutter.borderColor")));		}		catch(NumberFormatException nf)		{			// retain the default border		}		try		{			String fontname = jEdit.getProperty("view.gutter.font");			int fontsize = Integer.parseInt(jEdit.getProperty(				"view.gutter.fontsize"));			int fontstyle = Integer.parseInt(jEdit.getProperty(				"view.gutter.fontstyle"));			gutter.setFont(new Font(fontname,fontstyle,fontsize));		}		catch(NumberFormatException nf)		{			// retain the default font		}		textArea.setCaretBlinkEnabled("on".equals(jEdit.getProperty(			"view.caretBlink")));		textArea.putClientProperty(InputHandler.SMART_HOME_END_PROPERTY,			new Boolean("yes".equals(jEdit.getProperty("view.homeEnd"))));		try		{			textArea.setElectricScroll(Integer.parseInt(jEdit				.getProperty("view.electricBorders")));		}		catch(NumberFormatException nf)		{			textArea.setElectricScroll(0);		}	}