--- a/dwt/widgets/TableColumn.d	Tue Dec 30 17:01:10 2008 +0100
+++ b/dwt/widgets/TableColumn.d	Tue Dec 30 18:54:31 2008 +0100
@@ -42,6 +42,7 @@
 import objc = dwt.internal.objc.runtime;
 import dwt.widgets.Item;
 import dwt.widgets.Table;
+import dwt.widgets.TableItem;
 import dwt.widgets.TypedListener;
 
 /**
@@ -589,7 +590,7 @@
     NSTableView tableView = (cast(NSTableView) parent.view);
     NSTableHeaderView headerView = tableView.headerView ();
     if (headerView is null) return;
-    NSInteger = tableView.columnWithIdentifier (nsColumn);
+    index = cast(int)/*64*/tableView.columnWithIdentifier (nsColumn);
     NSRect rect = headerView.headerRectOfColumn (index);
     headerView.setNeedsDisplayInRect (rect);
     rect = tableView.rectOfColumn (index);