Source position: lazgdk3.pas line 4637
function gdk_device_manager_get_display(
device_manager: PGdkDeviceManager
):PGdkDisplay;