fun get_default_widget: GtkWidget `{
		return gtk_window_get_default_widget(self);
	`}