71 void exchange_elements_from_array(gint element_number1,
72 gint element_number2);
74 void exchange_rows_in_the_tree(gint i,
83 void add_splitpoint_from_player(GtkWidget *widget,
86 void remove_row (GtkWidget *widget, gpointer data);
97 GtkTreeViewColumn *col,