updateStatus(true);
if(buffer != null)  updateStatus(true);
	public void propertiesChanged()	{		String family = jEdit.getProperty("view.font");		int size;		try		{			size = Integer.parseInt(jEdit.getProperty(				"view.fontsize"));		}		catch(NumberFormatException nf)		{			size = 12;		}		int style;		try		{			style = Integer.parseInt(jEdit.getProperty(				"view.fontstyle"));		}		catch(NumberFormatException nf)		{			style = Font.PLAIN;		}		Font font = new Font(family,style,size);		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")));		textArea.setSelectionColor(jEdit.parseColor(jEdit			.getProperty("view.selectionColor")));		textArea.setBackground(jEdit.parseColor(jEdit			.getProperty("view.bgColor")));		textArea.setForeground(jEdit.parseColor(jEdit			.getProperty("view.fgColor")));		try		{			textArea.setCaretBlinkRate(Integer.parseInt(jEdit				.getProperty("view.caretBlinkRate")));		}		catch(NumberFormatException nf)		{			textArea.setCaretBlinkRate(0);		}		updateOpenRecentMenu();		updateStatus(true);	}