treeSelectionForeground = UIManager.getColor("Tree.selectionForeground"); treeNoSelectionForeground = UIManager.getColor("Tree.textForeground"); treeSelectionBackground = UIManager.getColor("Tree.selectionBackground"); treeNoSelectionBackground = UIManager.getColor("Tree.textBackground");
	private void propertiesChanged()	{		// bug in DefaultTreeCellRenderer?		setBackground(UIManager.getColor("Tree.textBackground"));		showIcons = jEdit.getBooleanProperty("vfs.browser.showIcons");		if(showIcons)		{			closedBorder = new EmptyBorder(0,3,0,0);			openBorder = new CompoundBorder(new MatteBorder(0,2,0,0,				UIManager.getColor("Tree.textForeground")),				new EmptyBorder(0,1,0,0));		}		else		{			closedBorder = new EmptyBorder(1,4,1,1);			openBorder = new CompoundBorder(new MatteBorder(0,2,0,0,				UIManager.getColor("Tree.textForeground")),				new EmptyBorder(1,2,1,1));		}	}