Is xrandr "Border" property really immutable

[Stefan Bruens]

Hi everyone,

while reading through the randr protocol specification [1], I stumbled on the 
Border property having the Immutable flag set. Either I did not understand the 
flag correctly, or it should be removed.

E.g. the EDID property is Immutable, as it can not be changed by the user, but 
it is not Static, because it will change when plugging in a different monitor.

According to Andy Ritgers XDC 2013 presentation [2], slide 14, the Border 
propery can be changed.

Kind regards,

Stefan


[1] http://cgit.freedesktop.org/xorg/proto/randrproto/tree/randrproto.txt
[2] 
http://www.x.org/wiki/Events/XDC2013/XDC2013AndyRitgerDisplayViewport/viewport-xdc-2013.pdf