fun set_default_widget(widget: GtkWidget) `{
		return gtk_window_set_default(self, widget);
	`}