void gtkwindow::set-focus	(gtkwindow *,
                         	 ggpointer,
                         	 gpointer);