void gnome_window_toplevel_set_title (GtkWindow *w, const gchar *doc_name, const gchar *app_name, const gchar *extension);
Set the title of a toplevel window. Acording to gnome policy or (if implemented) to a gnome setting.