string make_display_name()
Determines the name to pass to GDK2.Display->open() to get a GDK2.Display with this screen as the default screen.