int width = OS.gtk_tree_view_column_get_width (handle); if (width == 0) { width = OS.gtk_tree_view_column_get_fixed_width (handle); } return width;
if (useFixedWidth) return OS.gtk_tree_view_column_get_fixed_width (handle); return OS.gtk_tree_view_column_get_width (handle);
public int getWidth () {	checkWidget();	if (!OS.gtk_tree_view_column_get_visible (handle)) {		return 0;	}	int width = OS.gtk_tree_view_column_get_width (handle);	if (width == 0) {		width = OS.gtk_tree_view_column_get_fixed_width (handle);	}	return width;}