GC gc = new GC(this); Point extent = gc.stringExtent(DOT_STRING); dotsWidth = extent.x; fontHeight = extent.y; gc.dispose();
public void setFont(Font font) {	checkWidget();	SelectableItem item;	int itemCount = getItemCount();	if (font == null || font.equals(getFont()) == true) {		return;	}	setRedraw(false);						// disable redraw because itemChanged() triggers undesired redraw		resetItemData();		super.setFont(font);	for (int i = 0; i < itemCount; i++) {		itemChanged(getItem(i), 0, getClientArea().width);	}	setRedraw(true);						// re-enable redraw	getHeader().setFont(font);}