gtk_widget_(push|pop)_composite_flag

[Guillaume Laurent <glaurent worldnet fr>]

What's the plan about the discrepancy between gtkwidget.h and
gtkwidget.c on these functions ?

gtkwidget.h declares :

void	     gtk_widget_push_composite_flag (void);
void	     gtk_widget_pop_composite_flag  (void);

but the actual functions in gtkwidget.c are named
gtk_widget_push_composite() and gtk_widget_pop_composite().

Given the overall naming convention of similar functions in
gtkwidget.h, I suppose the '_flag' should be removed. May I correct
this in CVS ?

-- 
					Guillaume.
					http://www.worldnet.fr/~glaurent