if("on".equals(jEdit.getProperty("view.showToolbar"))) { if(toolBar == null) toolBar = GUIUtilities.loadToolBar("view.toolbar"); getContentPane().add("North",toolBar); validate(); } else if(toolBar != null) { getContentPane().remove(toolBar); validate(); }
	public void propertiesChanged()	{		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);		textArea.setFont(font);		textArea.setLineHighlight("on".equals(jEdit.getProperty(			"view.lineHighlight")));		textArea.setLineHighlightColor(GUIUtilities.parseColor(			jEdit.getProperty("view.lineHighlightColor")));		textArea.setBracketHighlight("on".equals(jEdit.getProperty(			"view.bracketHighlight")));		textArea.setBracketHighlightColor(GUIUtilities.parseColor(			jEdit.getProperty("view.bracketHighlightColor")));		textArea.setCaretColor(GUIUtilities.parseColor(			jEdit.getProperty("view.caretColor")));		textArea.setSelectionColor(GUIUtilities.parseColor(			jEdit.getProperty("view.selectionColor")));		textArea.setBackground(GUIUtilities.parseColor(			jEdit.getProperty("view.bgColor")));		textArea.setForeground(GUIUtilities.parseColor(			jEdit.getProperty("view.fgColor")));		textArea.setBlockCaret("on".equals(jEdit.getProperty(			"view.blockCaret")));		try		{			textArea.getCaret().setBlinkRate(Integer.parseInt(jEdit				.getProperty("view.caretBlinkRate")));		}		catch(NumberFormatException nf)		{			textArea.getCaret().setBlinkRate(0);		}		try		{			textArea.setElectricBorders(Integer.parseInt(jEdit				.getProperty("view.electricBorders")));		}		catch(NumberFormatException nf)		{			textArea.setElectricBorders(0);		}		updateOpenRecentMenu();		if(buffer != null) /* ie, after startup */			updateLineNumber(true);	}