Anterior
new_col_width
Siguiente
new_col_width
Callback function
void callback(
GtkWidget
widget);