public int getMinimumWidth(TreePanel panel) {
		int width = TextDrawing.getPreferredSize(getHeaderFont(), getName()).width;
		if (panel.isUserSortable()) {
			width += SORTER_WIDTH;
		}
		return width;
	}