OS.gtk_tree_view_column_set_fixed_width (handle, Math.max (1, width));
if (width > 0) { OS.gtk_tree_view_column_set_fixed_width (handle, width); OS.gtk_tree_view_column_set_visible (handle, true); } else { OS.gtk_tree_view_column_set_visible (handle, false); }
public void setWidth (int width) {	checkWidget();	OS.gtk_tree_view_column_set_sizing (handle, OS.GTK_TREE_VIEW_COLUMN_FIXED);	OS.gtk_tree_view_column_set_fixed_width (handle, Math.max (1, width));}