GtkWidget get_toplevel (void);