rem: int width; int i;
context: void WMAddTableViewColumn(WMTableView *table, WMTableColumn *column){    int width;    int i;    WMScreen *scr = WMWidgetScreen(table);    int count;        column->table = table;    WMAddToArray(table->columns, column);            if (!column->titleW) {	column->titleW = WMCreateLabel(table);	WMSetLabelRelief(column->titleW, WRRaised);	WMSetLabelFont(column->titleW, scr->boldFont);	WMSetLabelTextColor(column->titleW, scr->white);	WMSetWidgetBackgroundColor(column->titleW, scr->darkGray);	WMSetLabelText(column->titleW, column->title);	W_ReparentView(WMWidgetView(column->titleW),		       WMWidgetView(table->header), 0, 0);	if (W_VIEW_REALIZED(table->view))	    WMRealizeWidget(column->titleW);	WMMapWidget(column->titleW);    }        {	WMView *splitter = W_CreateView(WMWidgetView(table->header));		W_SetViewBackgroundColor(splitter, WMWhiteColor(scr));	if (W_VIEW_REALIZED(table->view))	    W_RealizeView(splitter);	W_ResizeView(splitter, 2, table->headerHeight-1);	W_MapView(splitter);	W_SetViewCursor(splitter, table->splitterCursor);	WMCreateEventHandler(splitter, ButtonPressMask|ButtonReleaseMask,			     splitterHandler, column);	WMAddToArray(table->splitters, splitter);    }    rearrangeHeader(table);}