GType gdk_display_manager_get_type();