[PATCH xrandr 0/2] Provider handling fixes

[Dave Airlie]

> Right now, xrandr's --setprovideroutputsource and --setprovideroffloadsink
> options take provider XIDs in decimal.  This is a problem because other things
> in the X server can use XID values during startup before the provider XIDs are
> assigned.  For example, starting X with an external projector attached causes
> the provider's XID to change because the modes in the RandR mode pool use up a
> different number of XIDs.
>
> This set of changes moves providers to using hexidecimal XIDs to match the
> behavior of RandR outputs.  It also allows using provider names and treats
> decimal numbers as index values into the array of providers as listed by
> --listproviders.

These all look fine, and the ordering in the man page ones looks good as well.

Reviewed-by: Dave Airlie <airlied at redhat.com>