textArea.setLineHighlight("on".equals(jEdit.getProperty( "view.lineHighlight"))); textArea.setLineHighlightColor(jEdit.parseColor(jEdit .getProperty("view.lineHighlightColor"))); textArea.setCaretColor(jEdit.parseColor(jEdit .getProperty("view.caretColor")));
	public void propertiesChanged()	{		Font font = jEdit.getFont();		textArea.setFont(font);		status.setFont(font);		updateOpenRecentMenu();		SwingUtilities.updateComponentTreeUI(this);	}