add: if (table->viewBuffer) { WMReleasePixmap(table->viewBuffer); table->viewBuffer = NULL; }  width -= 20; height -= 20;  vw = WMIN(size.width, width); vh = WMIN(size.height, height);  W_MoveView(table->tableView, 21, 1+table->headerHeight+1); W_ResizeView(table->tableView, WMAX(vw, 1), WMAX(vh, 1));  adjustScrollers(table);  repaintTable(table);
context: static void handleResize(W_ViewDelegate *self, WMView *view){    int width;    int height;    WMTableView *table = view->self;    width = W_VIEW_WIDTH(view) - 2;    height = W_VIEW_HEIGHT(view) - 3;        height -= table->headerHeight; /* table header */    if (table->corner)	WMResizeWidget(table->corner, 20, table->headerHeight);        if (table->scrollView) {	WMMoveWidget(table->scrollView, 1, table->headerHeight + 2);	WMResizeWidget(table->scrollView, width, height);    }    if (table->header)	WMResizeWidget(table->header, width - 21, table->headerHeight);}