Source position: gdkdisplaymanager.inc line 36
procedure gdk_display_manager_set_default_display(
display_manager: PGdkDisplayManager;
display: PGdkDisplay
);