void append(GtkWidget child);