SwingUtilities.updateComponentTreeUI(this);
	public void propertiesChanged()	{		Font font = jEdit.getFont();		textArea.setFont(font);		status.setFont(font);		textArea.setLineHighlight("on".equals(jEdit.getProperty(			"view.lineHighlight")));		textArea.setLineHighlightColor(jEdit.parseColor(jEdit			.getProperty("view.lineHighlightColor")));		textArea.setBracketHighlight("on".equals(jEdit.getProperty(			"view.bracketHighlight")));		textArea.setBracketHighlightColor(jEdit.parseColor(jEdit			.getProperty("view.bracketHighlightColor")));		textArea.setCaretColor(jEdit.parseColor(jEdit			.getProperty("view.caretColor")));		try		{			textArea.setCaretBlinkRate(Integer.parseInt(jEdit				.getProperty("view.caretBlinkRate")));		}		catch(NumberFormatException nf)		{			textArea.setCaretBlinkRate(0);		}		updateOpenRecentMenu();		SwingUtilities.updateComponentTreeUI(this);	}