diff -r 76fa1e736c99 -r 26ed45b11483 console/libgnt/gntbox.h
--- a/console/libgnt/gntbox.h	Mon Jun 26 19:54:53 2006 +0000
+++ b/console/libgnt/gntbox.h	Tue Jun 27 02:33:55 2006 +0000
@@ -57,6 +57,8 @@
 
 void gnt_box_set_toplevel(GntBox *box, gboolean set);
 
+void gnt_box_sync_children(GntBox *box);
+
 G_END_DECLS
 
 #endif /* GNT_BOX_H */