int windowProc (int handle, int arg0, int arg1, int user_data) {
int windowProc (int handle, int user_data) {
int windowProc (int handle, int arg0, int arg1, int user_data) {	switch (user_data) {		case DELETE_RANGE: return gtk_delete_range (handle, arg0, arg1);		case DELETE_TEXT: return gtk_delete_text (handle, arg0, arg1);		case ROW_ACTIVATED: return gtk_row_activated (handle, arg0, arg1);		case ROW_COLLAPSED: return gtk_row_collapsed (handle, arg0, arg1);		case ROW_EXPANDED: return gtk_row_expanded(handle, arg0, arg1);		case SWITCH_PAGE: return gtk_switch_page (handle, arg0, arg1);		default: return 0;	}}