Skip to content

Make winsys_id unique across devices

Emilio Pozuelo Monfort requested to merge epm/mutter:device-id into master

winsys_id is used to match a window to an output, and so it should be unique across outputs. However, on the native driver we're using the drm connector id, which is unique across a device, but not necessarily across different devices. Thus use a (device, connector) pair to uniquely identify an output.

Merge request reports