fun set_focus(widget: GtkWidget) `{
		return gtk_window_set_focus(self, widget);
	`}